TY  - BOOK
AU  - Siekmann,Jorg H.
ED  - International Conference on Automated Deduction
TI  - 8th International Conference on Automated Deduction,: Oxford, England, July 27-August 1, 1986 : proceedings 
AV  - QA76.9 A96 I57 1986
PY  - 1986///
CY  - Berlin
PB  - Springer
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Automatic theorem proving
N1  - Spine title: CADE-8
ER  -