BIBLIOTECA RODOLFO PUIGGRÓS

 

Imagen de Google Jackets

Lógica, programación e inteligencia artificial Robert Kowalski

Por: Tipo de material: TextoTextoIdioma: Español Editor: Madrid Ediciones Díaz de Santos 1986Edición: Primera ediciónDescripción: 412 páginas 22 cmTipo de contenido:
  • texto
Tipo de medio:
  • sin mediación
Tipo de soporte:
  • volumen
ISBN:
  • 8486251435
Otro título:
  • Logic for problem solving [Otro título]
Tema(s): Clasificación CDD:
  • 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
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
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
Libro Libro 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.

para colocar un comentario.