Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo
By: Julián Iranzo, Pascual
.
Contributor(s): Alpuente Frasnedo, María.
Madrid : Pearson/Prentice Hall, 2007 Description: xxvi, 470 p. ; 25 cm.ISBN: 978-84-8322-368-0.Subject(s): Programación lógica | Programacion declarativa | Prolog (lenguaje de programacion)DDC classification: 005.115 / J94p | Item type | Current location | Collection | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central | FONDO BIBL | 005.115 / J94p (Browse shelf) | 8001 | 1 | Available | CO | 8000013698 | ||
|
Libros
|
Biblioteca Central | FONDO BIBL | 005.115 / J94p (Browse shelf) | 8001 | 3 | Available | CO | 8000013700 |
Una panorámica de la programación declarativa -- Fundamentos -- Sistemas formales, Lógica y lenguaje de
programación -- De la demorstración automática a la programación lógica (I): introducción y métodos semánticos
-- De la demorstració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 --
Aplicaciones de la programación Lógica -- Representación del conocimiento -- Resolución de problemas --
Programación Lógica y Tecnología Software rigurosa -- Fundamentos y notaciones matemáticas
There are no comments for this item.