Programación lógica : Teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo.
Material type: TextLanguage: spa. Publication details: Madrid : Pearson, 2007. Description: xxvi, 470 p. : il. diag. ; 25 cmISBN:- 9788483223680
- 21 005.131 J945 2007
Item type | Current library | Collection | Call number | Materials specified | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|---|
Libro de Reserva | Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) | Reserva | 005.131 J945 2007 (Browse shelf(Opens below)) | Ej. 1 | Available | Colección 1, Isla 1, Lado A, Módulo 4 | 100000144 |
Incluye índice de tablas al icinio de la obra.
Incluye índice alfabético p. 464
Incluye referencias bibliográficas p. 453
1. Una panorámica de la programación declarativa -- Fundamentos I: 2. Sistemas formales, lógica y lenguajes de programación -- 3. De la demostración automática a la programación lógica (I): introducción y métodos semánticos -- 4. De la demostración automática a la programación lógica (II): el principio de resolución de Robinson -- Programación lógica II: 5. Programación lógica -- 6. El lenguaje prolog: Introducción -- 7. El lenguaje prolog: Aspectos avanzados -- Aplicaciones de la programación lógica: 8. Representación del conocimiento -- 9. Resolución de problemas -- 10. Programación lógica y tecnología software rigurosa.
There are no comments on this title.