Automated reasoning :  introduction and applications / 
Larry Wos...[et. al]. 
 - 2a. ed. 
 - New York :  McGraw-Hill,  1992 
 - xvi, 656 p. ;  24 cm. 
<br/><br/> 1 ejemplar  Recursos propios 
<br/><br/>Incluye bibliografias e indice 
<br/><br/><label>ISBN: </label>0130544469 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Comprobación automático--teoremas<br/>Inteligencia artificial<br/>Computadoras electrónicas digitales--programación
<br/><br/><label>LC Class. No.: </label>QA76.9.A96  / A93 1992