Newborn, Monty. , <br/><br/>
Automated theorem proving :  theory and practice / 
Monty Newborn. 
 - xiii, 231p. :  illustrations ;  24 cm ++  1 computer optical disc (4 (3/4 in). 
<br/><br/> Accompanied by 1 CD-ROM : no cd 04220 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0387950753 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.
<br/><br/><label>LC Class. No.: </label>QA76.9.A96   / .N48 2000