01642nam a22003137a 4500 BGEN1849 20260710081145.0 a||||gr|||| 00| 0 ta 161204t ec ||||gr|||| 00| 0 spa d 9788483223680 UEB spa UEB spa 005.42 J945p Julián Iranzo, Pascual 44573 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. texto sin mediación volumen 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... Programación lógica. 2956 Programación lógica (Computadores electrónicos). 44574 Alpuente Frasnedo, María, autora. 44575 BK ddc 2827 2827 0 0 ddc 0 0 BGEN BGEN 2011-03-12 5976 15397958 1 005.42 J945p 15397958 2024-07-16 00:00:00 2024-07-16 Ej.1 2016-12-04 BK ESTANTERIA 3.A