Lógica, programación e inteligencia artificial
Kowalski, Robert
Lógica, programación e inteligencia artificial Logic for problem solving Robert Kowalski - Primera edición - 412 páginas 22 cm.
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
8486251435
Inteligencia artificial
Lógica simbólica y matemática
Programación informática
006.3 / K 79
Lógica, programación e inteligencia artificial Logic for problem solving Robert Kowalski - Primera edición - 412 páginas 22 cm.
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
8486251435
Inteligencia artificial
Lógica simbólica y matemática
Programación informática
006.3 / K 79