| Descripción | Contenido |
| Nº de control | 00000037 |
| Título | Programación Lógica Teoría y Práctica |
| Autor | Julian Iranzo, Pascual; Alpuente Frasnedo, Maria |
| Editorial | Pearson Educación S. A. |
| Año | 2007 |
| Páginas | 496 p. |
| Idioma | Español |
| Lugar | Madrid |
| Fecha de Publicación | 2007 |
| Resumen |
Una panorámica de la programación, sistema de formales, lógica y lenguajes de programación, de la demostración automática a la programación lógica; De la demostración automática a la programación lógica II, el principio de resolución de Robinson; Programación; El lenguaje Prolog; El lenguaje Prolog aspecto Avanzados; Aplicación de la Programación Lógica; Resolución Programación Lógica y Tecnología Software Rigurosa; Fundamento y Notaciones Matemáticas |
| ISBN | 978-84-8322-368-0 |
| Pedir por | 005.131 J942p |
| Materias | PROGRAMACIÓN LÓGICA APLICACIONES |
| Ítem en Biblioteca | Biblioteca de Computación y Telecomunicaciones |
| Ejemplares | 1 |