00670nam a2200193 a 450000100060000000300090000600800410001502000150005604000280007108200170009910000280011624500270014426000250017130000100019650501830020665000280038965000240041765000350044122951CO-ViMGA141112s2004    ck      r     000 u spa d  a8497321820  aCO-ViMGAbspacCO-ViMGA04a510.63 P154l1 aPaniagua Arias, Enrique10aLògica computacional  aEspaña : bThomson  a205p.  aLa 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 logica14aINTELIGENCIA ARTIFICIAL14aLOGICA MATEMATICAS 14aLOGICA SIMBOLICA Y MATEMATICA