Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo
Tipo de material:
TextoDetalles de publicación: Madrid : Pearson Prentice Hall, 2007Descripción: xxvi, 470 p. : il. ; 25 cmISBN: - 9788483223680
- QA76.63 Ir652
Contenidos:
Una panorámica de la Programación Declarativa - Fundamentos - sistemas Formales, Lógica y Lenguajes de Programación - De la Demostración Automática de 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 - 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
| Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | |
|---|---|---|---|---|---|---|---|---|---|---|---|
Libros para consulta en sala
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | COLECCIÓN RESERVA | QA76.63 Ir652 (Navegar estantería(Abre debajo)) | 1 | No para préstamo | Ing. Telematica | 019430 | |||
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | QA76.63 Ir652 (Navegar estantería(Abre debajo)) | 2 | Disponible | Ing. Telematica | 019431 | |||
|
Libros
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | QA76.63 Ir652 (Navegar estantería(Abre debajo)) | 3 | Disponible | Ing. Telematica | 019432 |
Total de reservas: 0
Navegando Biblioteca Antonio Enriquez Savignac estanterías, Colección: COLECCIÓN RESERVA Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| QA 76 .625 H37 2005 Java network programming / | QA 76 .625 R329 Cloud application architectures / | QA 76.63 .B81 2013 Logic programming with Prolog / | QA76.63 Ir652 Programación lógica : teoría y práctica / | QA 76 .64 .672 R647 2004 Game architecture and design / | QA 76 .64 B7241 1996 Análisis y diseño orientado a objetos con aplicaciones / | QA76.64 B785 2002 Ingeniería de software orientado a objetos / |
Incluye bibliografía: p. [453]-463 e índice
Una panorámica de la Programación Declarativa - Fundamentos - sistemas Formales, Lógica y Lenguajes de Programación - De la Demostración Automática de 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 - 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
Fondos de la Universidad Compra
