Newborn, Monty <br/><br/>
Automated theorem proving: theory and practice / 
Newborn, Monty. 
 - New York:  Springer,  2001. 
 - xiii,231p;24cm 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0387950753 
<br/><br/><label>Dewey Class. No.: </label>004.015113 NEW