Paniagua Arias, Enrique <br/><br/>
Lōgica computacional 

 - Espaņa :   Thomson 
 - 205p. 
<br/><br/>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 
<br/><br/><label>ISBN: </label>8497321820 
<br/><br/><label>Subjects--Topical Terms: </label><br/>INTELIGENCIA ARTIFICIAL<br/>LOGICA MATEMATICAS <br/>LOGICA SIMBOLICA Y MATEMATICA 
<br/><br/><label>Dewey Class. No.: </label>510.63 P154l