Caferra, Ricardo <br/><br/>
Automated Model Building 
by Richardo Caferra 
 - London  Kluwer Academic Publishers  2004 
 - xi, 341p. 
<br/><br/><p>Contents: 1. Introduction 2. Prelimi 
<br/><br/><label>ISBN: </label>1402026528 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Applied logic
<br/><br/><label>Dewey Class. No.: </label>511.3 CAF