8th International Conference on Automated Deduction
Subtitle: Oxford, England, July 27-August 1, 1986 (Lecture Notes in Computer Science)
Publisher: Springer
Published: July 1986
Language: eng
Number of pages: 708
ISBN-13: 9780387167800