TY  - BOOK
AU  - Bibel Wolfgang
TI  - Automated theorem proving
U1  - 006.333 
PY  - 1982///
CY  - Braunschweig
PB  - Vieweg
KW  - Automated theory
KW  - Computer science
ER  -