6938458
9780387115580
Contains papers given at the 6th Conference on Automated Deduction, June 1982, Courant Institute of Mathematical Sciences, NYU.Loveland, D. W. is the author of 'Automated Deduction Conference: Proceedinngs of Conference, 6th, New York, 1982', published 1982 under ISBN 9780387115580 and ISBN 0387115587.
[read more]