Wos, Larry, <br/><br/>
Automated reasoning :  33 basic research problems / 
Larry wos 
 - 319 páginas 
<br/><br/> Volumen companero de: automated reasoning : introduction and applications / larry wos [y otros], c1984 
<br/><br/><label>ISBN: </label>013054552x 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Inteligencia artificial<br/>Demostración automática de teoremas<br/>Programación de computadoras
<br/><br/><label>LC Class. No.: </label>QA76.9A96  / W67