9th International Conference on Automated Deduction: Argonne, Illinois 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: R. Overbeek (Editor)
Publisher: Springer
Published: June 1988
Language: eng
Number of pages: 775
ISBN-13: 9780387193434