| T�tulo : |
Programación lógica |
| Tipo de documento: |
texto impreso |
| Autores: |
Pascual Julián Iranzo, Autor ; MarÃa Alpuente Frasnedo, Autor |
| Editorial: |
Madrid : Prentice Hall |
| Fecha de publicación: |
2007 |
| N�mero de páginas: |
xxvi, 470 p. |
| Dimensiones: |
25 cm. |
| ISBN/ISSN/DL: |
978-84-8322-368-0 |
| Nota de contenido: |
Una panorámica de la programación declarativa - Sistemas formales, lógica y lenguajes de progrmació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 - Representación del conocimiento - Resolución de problemas - Programación l‡ogica y tecnologÃa software rigurosa. |
Programación lógica [texto impreso] / Pascual Julián Iranzo, Autor ; MarÃa Alpuente Frasnedo, Autor . - Madrid : Prentice Hall, 2007 . - xxvi, 470 p. ; 25 cm. ISBN : 978-84-8322-368-0
| Nota de contenido: |
Una panorámica de la programación declarativa - Sistemas formales, lógica y lenguajes de progrmació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 - Representación del conocimiento - Resolución de problemas - Programación l‡ogica y tecnologÃa software rigurosa. |
|
