NUEVA BÚSQUEDA Comparte con tus amigos
Información del autor
Autor Pascual Julián Iranzo
Documentos disponibles escritos por este autor
Hacer una sugerencia Refinar búsquedaProgramación lógica / Pascual Julián Iranzo
texto impresoAutores: Pascual Julián Iranzo, Autor ; MarÃa Alpuente Frasnedo, Autor TÃtulo : Programación lógica Pie de imprenta: Madrid : Prentice Hall, 2007 Descripción: xxvi, 470 p.; 25 cm. ISBN: 978-84-8322-368-0 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. Pascual Julián Iranzo, Autor ; MarÃa Alpuente Frasnedo, Autor
Programación lógica . - Madrid : Prentice Hall, 2007xxvi, 470 p. ; 25 cm.
ISBN : 978-84-8322-368-0
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
Ubicación Código Ejemplar Estado Adquisición Proveedor Biblioteca Central Nivel 2 005.115/J87 003668 Disponible Compra Librería San Cristóbal