Inicio
Información del autor
Autor MarÃa Alpuente Frasnedo |
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar Búsqueda
Programación lógica / Pascual Julián Iranzo
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. Reserva
Reservar este documento
Ejemplares (1)
Ubicaci?n Signatura C�digo de barras Estado Adquisición Proveedor Biblioteca Central Nivel 2 005.115/J87 003668 Disponible Compra Librería San Cristóbal