Julián Iranzo, Pascual <br/><br/>
Programación lógica :    teoría y práctica /  
Pascual Julián Iranzo, María Alpuente Frasnedo 
 - Madrid, España :   Pearson Prentice Hall,  2007 
 - xxvi, 470 páginas ;  ilustraciones ;  25 cm. 
<br/><br/> Incluye índice.  
<br/><br/>Incluye bibliografía. 
<br/><br/>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...  
<br/><br/><label>ISBN: </label>9788483223680 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación lógica.<br/>Programación lógica (Computadores electrónicos).
<br/><br/><label>Dewey Class. No.: </label>005.42   / J945p