TY  - BOOK
AU  - Bibel,Wolfgang
TI  - Automated theorem proving
SN  - 3528085207
PY  - 1982///
CY  - Braunschweig
PB  - Friedr Vieweg & Sohn
KW  - Automatic theorem proving
N1  - Bibliography: p.(277)-287
ER  -