9th International Conference on Automated Deduction
Subtitle: Argonne, Illinois, USA, May 23-26, 1988 : proceedings
By: E. Lusk, R. Overbeek (eds.).
Contributors: Lusk, Ewing.; Overbeek, Ross A.
Series: Lecture notes in computer science ;; 310
Publisher: Springer-Verlag
Published: 1988
Place of publication: Berlin; New York
Language: eng
Number of pages: 775
Subjects: Automatic theorem proving -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: Ninth International Conference on Automated Deduction.
Notes: Includes bibliographies.