TY  - BOOK
AU  - Bibel,Wolfgang
AU  - Houdobler,Steffen
AU  - Lekuse,Monika
AU  - Sanella,Donald
TI  - Deduction: automated logic 
SN  - 012095835X :
U1  - 162 
PY  - 1993///
CY  - London
PB  - Academic Press
KW  - Automatic theorem proving
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index; Vol. 1. Foundations - Calculi and methods - v. 2. Systems and implementation techniques - v. 3. Applications
ER  -