6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
By: edited by D.W. Loveland.
Contributors: Loveland, Donald W.
Series: Lecture notes in computer science ;; 138
Publisher: Springer-Verlag
Published: 1982
Place of publication: Berlin; New York
Language: eng
Number of pages: 389
Subjects: Automatic theorem proving -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: Sixth Conference on Automated Deduction, New York, USA, June 7-9, 1982.
Notes: Includes bibliographical references.