TY  - BOOK
AU  - Kowalski,Robert
TI  - Lógica, programación e inteligencia artificial
SN  - 8486251435
U1  - 006.3 
PY  - 1986///
CY  - Madrid
PB  - Ediciones Díaz de Santos
KW  - unescot
KW  - Inteligencia artificial
KW  - TESAMAT
KW  - Lógica simbólica y matemática
KW  - Programación informática
N1  - Glosario español-inglés e inglés-español; Representación en forma clausal -- Procedimientos de prueba analíticos y sintéticos para cláusulas Horn -- La interpretación procesal de cláusulas Horn -- Formación de planes y el problema de la armadura – Resolución -- El procedimiento de prueba del grafo de conexión -- Estrategias globales para la resolución de problemas -- Si-y-solamente-si – Formalización de la demostrabilidad – Lógica, cambio y contradicción
ER  -