Proceeding on automated deduction
Shostak R E Ed.
Proceeding on automated deduction - Berlin Springer Verlag 1984 - vi, 508p. cm. - Lecture notes in mathematics; 170 .
69906
Textual
Statistics
B:(R1)p1,N84, M4
Proceeding on automated deduction - Berlin Springer Verlag 1984 - vi, 508p. cm. - Lecture notes in mathematics; 170 .
69906
Textual
Statistics
B:(R1)p1,N84, M4
