NEWBORN;MONTY <br/><br/>
Automated Theorem Proving: Theory and Practice 

 -  New York:Springer-Verlag  2001 
 - 231 p. 
<br/><br/><label>ISBN: </label>9781461265191 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical Principles
<br/><br/><label>Dewey Class. No.: </label>004.015  / N28