Bibel, Wolfgang <br/><br/>
Deduction :  automated logic / 
by Wolfgang Bibel with the assistance of Steffen Houdobler ; translated by Monika Lekuse with assistance of Donald Sanella 
 - London :  Academic Press,  c1993 
 - 253 :  ill. ;  23 cm. 
 - Applied logic series ;  v. 8-10 .
<br/><br/>Includes bibliographical references and index 
<br/><br/>Vol. 1. Foundations - Calculi and methods - v. 2. Systems and implementation techniques - v. 3. Applications 
<br/><br/><label>ISBN: </label>012095835X :  USD 45.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>162