Conference on Automated Deduction (6th 1982 New York, N.Y.)

Books by Conference on Automated Deduction (6th 1982 New York, N.Y.) on BookTides.