Programación lógica : (Record no. 2827)

MARC details
000 -CABECERA
campo de control de longitud fija 01642nam a22003137a 4500
001 - NÚMERO DE CONTROL
campo de control BGEN1849
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20260710081145.0
006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL
campo de control de longitud fija a||||gr|||| 00| 0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija ta
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 161204t ec ||||gr|||| 00| 0 spa d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9788483223680
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen UEB
Lengua de catalogación spa
Centro/agencia transcriptor UEB
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 clasificación 005.42
Número de documento/Ítem J945p
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Julián Iranzo, Pascual
9 (RLIN) 44573
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, España :
Nombre del editor, distribuidor, etc. Pearson Prentice Hall,
Fecha de publicación, distribución, etc. 2007
300 ## - DESCRIPCIÓN FÍSICA
Extensión xxvi, 470 páginas ;
Otras características físicas ilustraciones ;
Dimensiones 25 cm.
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido texto
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio sin mediación
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte volumen
500 ## - NOTA GENERAL
Nota general Incluye índice.
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Nota de bibliografía, etc. Incluye bibliografía.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Una panorámica de la programación declaratoria -- Fundamentos -- Sistemas formales, lógica y lenguajes de programación -- De la demostración automática a 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 -- El lenguaje prolog: introducción -- El lenguaje prolog: aspectos avanzados -- Aplicaciones de la programación lógica -- Resolución de problemas -- Programación lógica y tecnología software rigurosa -- Fundamentos y notaciones matemáticas -- Índice de figuras -- Índice de tablas -- Prólogo...
650 14 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Programación lógica.
9 (RLIN) 2956
Término de materia o nombre geográfico como elemento de entrada Programación lógica (Computadores electrónicos).
9 (RLIN) 44574
700 ## - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Alpuente Frasnedo, María, autora.
9 (RLIN) 44575
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libros
Fuente del sistema de clasificación o colocación Clasificación Decimal Dewey
Holdings
Estado de retiro Estado de pérdida Fuente del sistema de clasificación o colocación Estado dañado No para préstamo Localización permanente Ubicación/localización actual Fecha de adquisición Número de inventario Código de bodega Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Fecha del último préstamo Número de copia Precio válido a partir de Tipo de ítem Koha Nota pública
    Clasificación Decimal Dewey     MATRIZ MATRIZ 12/03/2011 5976 15397958 1 005.42 J945p 15397958 16/07/2024 16/07/2024 Ej.1 04/12/2016 Libros ESTANTERIA 3.A