Lógica computacional
Publicado por : Thomson (Madrid) Detalles físicos: 205 p. il. 24 cm. ISBN:8497321820.
Tema(s):
Demostracion automatica de teoremas.
|
Inteligencia artificial
|
Logica matematica no clasica
Año : 2003
Lista(s) en las que aparece este ítem:
ingenieria ambiental
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Libro | Bogotá Federman | 005.113 P192l Ej.1 (Navegar estantería (Abre debajo)) | 1 | Disponible | 051805100700001455 | ||
Libro | Bogotá Federman | 005.113 P192l Ej.2 (Navegar estantería (Abre debajo)) | 2 | Disponible | 051805100700001454 | ||
Libro | Bogotá Sur | 005.113 P15l Ej.1 (Navegar estantería (Abre debajo)) | Disponible | 051805100700001440 | |||
Libro | Bogotá Sur | 005.113 P15l Ej.2 (Navegar estantería (Abre debajo)) | Disponible | 051805100700001441 | |||
Libro | Bogotá Sur | 005.113 P15l Ej.3 (Navegar estantería (Abre debajo)) | Disponible | 051805100700001548 |
Total de reservas: 0
Incluye referencias bibliográficas y índice .
La sintaxis de la lógica. -- 2.La semántica de la lógica. -- 3.El método axiomático. -- 4.El método interpretativo. -- 5.La demostración automática de teoremas. -- 6.Los agentes inteligentes y la lógica Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
No hay comentarios en este titulo.