TY  - BOOK
AU  - Shostak R E Ed.
ED  - International conference on automated deduction (7 : 1984 : California)
TI  - Proceeding on automated deduction
T2  - Lecture notes in mathematics; 170
U1  - B:(R1)p1,N84, M4 
PY  - 1984///
CY  - Berlin
PB  - Springer Verlag      
KW  - Statistics
ER  -