TY  - BOOK
AU  - Shostak,R.E.
ED  - International Conference on Automated Deduction
TI  - 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
AV  - QA76.9 A96 I57 1984
PY  - 1984///
CY  - Berlin
PB  - Springer
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Automatic theorem proving
ER  -