TY  - BOOK
AU  - Paniagua Aris,Enrique
AU  - Martin Rubio,Fernando
AU  - Sanchez Gonzalez,Juan Luis
TI  - Lógica computacional
SN  - 8497321820
U1  - 005.113 21
PY  - 2003///
CY  - Madrid
PB  - Thomson
KW  - Demostracion automatica de teoremas
KW  - Local
KW  - Inteligencia artificial
KW  - LEMB
KW  - Logica matematica no clasica
N1  - 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.
ER  -