TY  - DATA
AU  - Wolfgang Bibel, P.H. Schmitt
TI  - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
SN  - 9789401704373
PY  - 1998///
PB  - Springer Netherlands
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-94-017-0437-3
ER  -