Lógica, programación e inteligencia artificial (Record no. 105)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 01957nam a22002897a 4500 |
| 003 - NÚMERO DE CONTROL | |
| campo de control | CO-NeUS |
| 005 - FECHA Y HORA DE ACTUALIZACIÓN | |
| 005 | 20180710062624.0 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 131105b ck ||||| |||| 00| 0 spa d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 8486251435 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | CO-NeUS |
| Lengua de catalogación | español |
| Centro/agencia transcriptor | CO-NeUS |
| 100 1# - AUTOR PERSONAL | |
| nombre | Kowalski, Robert |
| relación | autor / creador |
| 9 (RLIN) | 52700 |
| 245 10 - TÍTULO PROPIAMENTE DICHO | |
| título | Lógica, programación e inteligencia artificial |
| Mención de responsabilidad, etc. | Robert Kowalski : tr. A. Calle |
| 250 ## - EDICIÓN | |
| edición | Quinta edición |
| 264 ## - PIE DE IMPRENTA | |
| lugar (ciudad) | Madrid |
| editorial | Díaz de Santos |
| fecha | 1986 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 412 páginas. |
| Dimensiones | 22 cm |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | El ejemplo de las relaciones de familia y la forma clausal -- Definición más precisa de forma clausal -- Presentación de definiciones analítica y sintética -- Semántica de la forma clausal -- Representación en forma clausal -- Variables y tipos de individualidades -- Existencia negación -- Procedimientos de prueba analíticos y sintéticos para cláusulas Horn -- Resolución de problemas con cláusulas de Horn -- La interpretación procesal de cláusulas Horn -- Formación de planes y el problema de la armadura -- Objetivos y asertos negativos -- Una solución sintética -- El procedimiento de prueba del grafo de conexión -- Estrategias globales para la resolución de problemas -- Comparación de la forma clausal con la forma estándar -- Si-y-solamente-si -- Formalización de la demostrabilidad -- Lógica, cambio y contradicción -- |
| 520 ## - RESUMEN | |
| Resumen | Una de las obras fundamentales que debe tener todo profesional, investigador o estudiante de Inteligencia Artificial, tanto por la información que proporciona como por el nivel académico que encierra. |
| 534 ## - TÍTULO ORIGINAL | |
| Frase introductoria | Titulo original |
| Título del original | Logic for problem solving |
| 700 ## - COAUTOR PERSONAL | |
| Nombre de persona | Calle, A. |
| Término indicativo de función/relación | traductor |
| 9 (RLIN) | 33766 |
| 082 04 - CLASIFICACIÓN DECIMAL DEWEY | |
| Clasificación | 006.3 |
| edición | 19 |
| Clave de autor | K88l |
| 082 04 - CLASIFICACIÓN DECIMAL DEWEY | |
| Clasificación | 519.7 |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Inteligencia artificial |
| 9 (RLIN) | 113750 |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Lógica simbólica y matemática |
| 9 (RLIN) | 115242 |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Programación de computadoras |
| 9 (RLIN) | 128936 |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Solucion de problemas |
| 9 (RLIN) | 132324 |
| 942 ## - PUNTO DE ACCESO ADICIONAL KOHA | |
| Tipo de ítem koha | Libros |
No items available.