TY  - BOOK
AU  - Bundy,Alan
ED  - International Conference on Automated Deduction
TI  - Automated deduction-CADE-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings 
SN  - 3540581561
AV  - QA76.9 A96 I57 1994
PY  - 1994///
CY  - Berlin
PB  - Springer
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Automatic theorem proving
ER  -