7th International Conference on Automated Deduction
Subtitle: Proceedings
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published: December 31, 1984
Format: Paperback
Number of pages: 508
ISBN-13: 9783540960225