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
Copyright @ Delhi University Library System