6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (Lecture notes in computer science 138)

by D. W. Loveland

Paperback

details (USA).

ISBN: 978-0-387-11558-0

ISBN-10: 0-387-11558-7

Springer-Verlag · 1982