6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings

Donald W. Loveland 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings CADE Lecture Notes in Computer Science 138 Springer 1982 3-540-11558-7 db/conf/cade/cade82.html