Programación lógica : teoría y práctica /

Saved in:

Bibliographic Details
Main Author:	Iranzo, Pascual Julián
Other Authors:	Alpuente Frasnedo, María
Format:	Book
Language:	Spanish
Published:	Madrid : Pearson Educación, 2007.
Subjects:	Programación (Computadores electrónicos) > Fundamentos Lenguajes de programación (Computadores electrónicos) Programación estructurada
Notas Contenido:	Una panorámica de la programación declarativa Sistemas formales, lógica y lenguajes de programación De la demostración automática a la programación lógica: introducción y métodos semánticos El principio de resolución de Robinson Programación lógica El lenguaje prolog: introducción El lenguaje prolog: aspectos avanzados Representación del conocimiento Resolución de problemas Programación lógica y tecnología software rigurosa Fundamentos y notaciones matemáticas

Bogotá/Metrología y Gestión: Unknown

Holdings details from Bogotá/Cenigraf: Unknown
Call Number:	005.1 I652p
Copy Ej.1	Available Place a Hold