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

Be the first to leave a comment!

Similar Items