TY  - BOOK
AU  - Stickel,M.E.
ED  - International Conference on Automated Deduction
TI  - 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 : proceedings
SN  - 3540528857
AV  - QA76.9 A96 I57 1990
PY  - 1990///
CY  - Berlin
PB  - Springer
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Automatic theorem proving
ER  -