Bibel, W.,  1938- <br/><br/>
Automated theorem proving/ 
Wolfgang Bibel. 
 - Braunschweig:  F. Vieweg,  1982. 
 - xiii, 292 p.:  ill.;  23 cm. 
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. [277]-287. 
<br/><br/><label>ISBN: </label>3528085207 :  DM27.50 
<br/><br/><label>LCCN: </label>82243531 //r88 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.
<br/><br/><label>Dewey Class. No.: </label>511.3  / B581a