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
No hay ítems correspondientes a este registro
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.