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 |
Browsing Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) shelves, Collection: Reserva Close shelf browser (Hides shelf browser)
| 005.13 G569 2022 Metodología de la programación : conceptos, lógica e implementación / | 005.13 J661 1999 Aprenda Outlook 2000 Microsoft : | 005.13 L953 2019 Aprende a programar con Python / | 005.131 J945 2007 Programación lógica : | 005.131 O969 2015 Lógica de programación orientada a objetos / | 005.133 A485 2012 El gran libro de programación avanzada con Android / | 005.133 B261 2007 Programación orientada a objetos con java : |
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.
