TY  - BOOK
AU  - Julián Iranzo,Pascual
AU  - Alpuente Frasnedo, María, autora.
TI  - Programación lógica : :  teoría y práctica / 
SN  - 9788483223680
U1  - 005.42  
PY  - 2007///
CY  - Madrid, España : 
PB  - Pearson Prentice Hall
KW  - Programación lógica
KW  - Programación lógica (Computadores electrónicos)
N1  - Incluye índice.; Incluye bibliografía; Una panorámica de la programación declaratoria -- Fundamentos -- Sistemas formales, lógica y lenguajes de programación -- De la demostración automática a la programación lógica (I): introducción y métodos semánticos -- De la demostración automática a la programación lógica (II): -- el principio de resolución de Robinson -- Programación lógica -- El lenguaje prolog: introducción -- El lenguaje prolog: aspectos avanzados -- Aplicaciones de la programación lógica -- Resolución de problemas -- Programación lógica y tecnología software rigurosa -- Fundamentos y notaciones matemáticas -- Índice de figuras -- Índice de tablas -- Prólogo...
ER  -