Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo (Record no. 29557)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 01363nam a22002417a 4500 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 140202b ck ||||| |||| 00| 0 spa d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 978-84-8322-368-0 |
| 100 1# - AUTOR PERSONAL | |
| nombre | Julián Iranzo, Pascual |
| 9 (RLIN) | 51919 |
| 245 10 - TÍTULO PROPIAMENTE DICHO | |
| título | Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo |
| 264 ## - PIE DE IMPRENTA | |
| lugar (ciudad) | Madrid : Pearson/Prentice Hall, 2007 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xxvi, 470 p. ; 25 cm. |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | Una panorámica de la programación declarativa -- Fundamentos -- Sistemas formales, Lógica y lenguaje de |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | programación -- De la demorstración automática a la programación lógica (I): introducción y métodos semánticos |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | -- De la demorstración automática a la programación lógica (II): el principio de resolución de Robinson -- |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | Programación Lógica -- El lenguaje Prolog: introducción -- El lenguaje Prolog: aspectos avanzados -- |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | Aplicaciones de la programación Lógica -- Representación del conocimiento -- Resolución de problemas -- |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | Programación Lógica y Tecnología Software rigurosa -- Fundamentos y notaciones matemáticas |
| 700 1# - COAUTOR PERSONAL | |
| Nombre de persona | Alpuente Frasnedo, María |
| 9 (RLIN) | 26801 |
| 082 04 - CLASIFICACIÓN DECIMAL DEWEY | |
| Clasificación | 005.115 / J94p |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Programación lógica |
| 9 (RLIN) | 128952 |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Programacion declarativa |
| 9 (RLIN) | 128941 |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Prolog (lenguaje de programacion) |
| 9 (RLIN) | 129012 |
No items available.