Paniagua Aris, Enrique.
Lógica computacional Enrique Paniagua Aris, Juan Luis Sanchez Gonzalez, Fernando Martin Rubio. - Madrid Thomson 2003. - 205 p. il. 24 cm.
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.
8497321820
Demostracion automatica de teoremas.
Inteligencia artificial
Logica matematica no clasica
005.113 / P192l Ej.
Lógica computacional Enrique Paniagua Aris, Juan Luis Sanchez Gonzalez, Fernando Martin Rubio. - Madrid Thomson 2003. - 205 p. il. 24 cm.
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.
8497321820
Demostracion automatica de teoremas.
Inteligencia artificial
Logica matematica no clasica
005.113 / P192l Ej.