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 -