TY  - BOOK
AU  - Paniagua Arias,Enrique
TI  - Lògica computacional
SN  - 8497321820
U1  - 510.63 P154l 
CY  - España : 
PB  - Thomson
KW  - INTELIGENCIA ARTIFICIAL
KW  - LOGICA MATEMATICAS
KW  - LOGICA SIMBOLICA Y MATEMATICA
N1  - La sintaxis de la logica, La samantica  de la logica, El metodo axiomatico, El metodo interpretativo, La demostracion automatica de teoremas, Los agentes inteligentes y la logica
ER  -