6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
Publisher: Springer
Published: Jun 16, 1982
Number of pages: 389
ISBN-13: 9783540115588