TY  - BOOK
AU  - McCune,William
ED  - International Conference on Automated Deduction
TI  - Automated deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings 
SN  - 3540631046
AV  - QA76.9 A96 I57 1997
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Automatic theorem proving
KW  - Congresses
KW  - Logic, Symbolic and mathematical
ER  -