TY  - BOOK
AU  - Kapur,D.
ED  - International Conference on Automated Deduction
TI  - Automated deduction-CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, N.Y., USA, June 15-18, 1992 : proceedings 
SN  - 3540556028
AV  - QA76.9 A96 I57 1992
PY  - 1992///
CY  - Berlin
PB  - Springer
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Automatic theorem proving
ER  -