TY  - BOOK
AU  - Julián Iranzo,Pascual
AU  - Alpuente Frasnedo,María
TI  - Programación lógica : : Teoría y práctica / 
SN  - 9788483223680
U1  - 005.131 21
PY  - 2007///.
CY  - Madrid : 
PB  - Pearson, 
KW  - LEMB
KW  - Lógica simbólica
KW  - Lógica matemática
N1  - 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
ER  -