MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01579nam a22002537a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
OSt |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20160921084235.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
140213s2007 sp abd g||||| 001 0 spa d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9788483223680 |
| 041 0# - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto/banda sonora o título independiente |
spa. |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de edición |
21 |
| Número de clasificación |
005.131 |
| Clave de autor |
J945 2007 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| 9 (RLIN) |
1277 |
| Nombre de persona |
Julián Iranzo, Pascual |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Programación lógica : |
| Resto del título |
Teoría y práctica / |
| Mención de responsabilidad, etc. |
Pascual Julián Iranzo, María Alpuente Frasnedo. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Madrid : |
| Nombre del editor, distribuidor, etc. |
Pearson, |
| Fecha de publicación, distribución, etc. |
2007. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xxvi, 470 p. : |
| Otras características físicas |
il. diag. ; |
| Dimensiones |
25 cm. |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Incluye índice de tablas al icinio de la obra. <br/> |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. |
Incluye índice alfabético p. 464 <br/> |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. |
Incluye referencias bibliográficas p. 453 |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
1. Una panorámica de la programación declarativa -- Fundamentos I: 2. Sistemas formales, lógica y lenguajes de programación -- 3. De la demostración automática a la programación lógica (I): introducción y métodos semánticos -- 4. De la demostración automática a la programación lógica (II): el principio de resolución de Robinson -- Programación lógica II: 5. Programación lógica -- 6. El lenguaje prolog: Introducción -- 7. El lenguaje prolog: Aspectos avanzados -- Aplicaciones de la programación lógica: 8. Representación del conocimiento -- 9. Resolución de problemas -- 10. Programación lógica y tecnología software rigurosa. |
| 650 17 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Fuente del encabezamiento o término |
LEMB |
| 9 (RLIN) |
1285 |
| Término de materia o nombre geográfico como elemento de entrada |
Lógica simbólica |
| 650 17 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Fuente del encabezamiento o término |
LEMB |
| 9 (RLIN) |
1286 |
| Término de materia o nombre geográfico como elemento de entrada |
Lógica matemática |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| 9 (RLIN) |
1287 |
| Nombre de persona |
Alpuente Frasnedo, María |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
Dewey Decimal Classification |
| Tipo de ítem Koha |
Libros |
| Parte de la signatura que corresponde a la clasificación (Parte de la clasificación) |
005.131 |
| Parte de la signatura que identifica el ejemplar (Parte del ítem) |
J945 2007 |
| Préstamos Koha (prestado), todas las copias |
1 |
