Lógica, programación e inteligencia artificial Robert Kowalski
Tipo de material:
- texto
- sin mediación
- volumen
- 8486251435
- Logic for problem solving [Otro título]
- 006.3 K 79
Contenidos:
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
Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Puiggrós | Biblioteca Puiggrós | Colección General | 006.3 K 79 ej. 1 (Navegar estantería(Abre debajo)) | ej. 1 | Disponible | 003955 |
Total de reservas: 0
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
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.