Lógica, programación e inteligencia artificial (Record no. 50545)

MARC details
000 -CABECERA
campo de control de longitud fija 01475nam a2200241 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170144.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s1986 sp r 000 0 spa d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 8486251435
024 8# - Otro identificador estandar
Número estándar o código DIF-M564
-- 567
-- DIF000566
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Kowalski, Robert
245 10 - MENCIÓN DE TÍTULO
Título Lógica, programación e inteligencia artificial
250 ## - MENCIÓN DE EDICIÓN
Mención de edición 1a ed.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Madrid :
Nombre del editor, distribuidor, etc. Díaz de Santos,
Fecha de publicación, distribución, etc. 1986
300 ## - DESCRIPCIÓN FÍSICA
Extensión [8], 412 p. ;
Dimensiones 22 cm.
500 ## - NOTA GENERAL
Nota general Versión castellana de Logic for problem solving, Elsevier Science Pub., c1979.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Prólogo -- 1. Introducción -- 2. Representación en forma clausal -- 3. Procedimientos de prueba analíticos y sintéticos para cláusulas Horn -- 4. Resolución de problemas con cláusulas Horn -- 5. La interpretación procesal de cláusulas Horn -- 6. Formación de planes y el problema de la armadura -- 7. Resolución -- 8. El procedimiento de prueba del grafo de conexión -- 9. Estrategias globales para la resolución de problemas -- 10. Comparación de la forma clausal con la forma estándar -- 11. Si-y-solamente-si -- 12. Formalización de la demostrabilidad -- 13. Lógica, cambio y contradicción -- Referencias (edición original) -- Referencias (suplemento a la edición española) -- Glosario español-inglés -- Glosario inglés-español
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada LÓGICA MATEMÁTICA
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada PROGRAMACIÓN
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada RESOLUCIÓN DE PROBLEMAS
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libro
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Biblioteca permanente Biblioteca actual Fecha de adquisición Número de inventario Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 17/07/2006 DIF-00808   F.4.1 KOW DIF-00808 11/03/2025 11/03/2025 Libro
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025 DIF-03913   F.4.1 KOW DIF-03913 11/03/2025 11/03/2025 Libro