Automated reasoning   : introduction and applications  
/ Larry Wos ... [et al.].  
 - 1a ed. 
 - Englewood Cliffs, NJU. :   Prentice-Hall,   c1984 
 - xiv, 482 p. :   il. ;   23 cm. 
<br/><br/>Incluy bibliografias e índice 
<br/><br/><label>ISBN: </label>0130544531 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Inteligencia artificial <br/>Programación (Computadores)
<br/><br/><label>LC Class. No.: </label>QA76.9.A96   / A88 1984