teoría y práctica Julián Iranzo, Pascual creator Alpuente Frasnedo, María, autora. text ec Madrid, España Pearson Prentice Hall 2007 monographic spa xxvi, 470 páginas ; ilustraciones ; 25 cm. 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... general Pascual Julián Iranzo, María Alpuente Frasnedo Incluye índice. Incluye bibliografía. Programación lógica Programación lógica (Computadores electrónicos) 005.42 J945p 9788483223680 UEB 161204 20260710081145.0 BGEN1849 spa