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
Navegando Biblioteca Puiggrós estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
006.3 F 718 ej. 1 Foundations of knowledge acquisition: | 006.3 H 77 ej. 1 Robótica de navegadores | 006.3 I 77 ej. 1 Redes de neuronas artificiales | 006.3 K 79 ej. 1 Lógica, programación e inteligencia artificial | 006.3 M 144 ej. 1 Machine learning | 006.3 M 644 ej. 1 La sociedad de la mente | 006.3 M 674 ej. 1 Machine learning |
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.