TY  - BOOK
AU  - Stickel, Mark E.
ED  - International Conference On Automated Deduction
TI  - 10th international conference on automated deduction, kaiserslautern, frg, july 24-27, 1990: Proceedings 
T2  - Lecture notes in computer science
SN  - 3540528857
AV  - QA76.9A96 I57 1990
PY  - 1990///
CY  - Berlin
PB  - Springer Verlag
KW  - Teorema, Comprobacion automatica de
KW  - Congresos
KW  - Lógica simbólica y matemática
ER  -