8th International Conference on Automated Deduction
Subtitle: Oxford, England, July 27-August 1, 1986 : proceedings
By: edited by Jörg H. Siekmann.
Contributors: Siekmann, Jörg H.
Series: Lecture notes in computer science ;; 230
Publisher: Springer-Verlag
Published: 1986
Place of publication: Berlin; New York
Language: eng
Number of pages: 708
Subjects: Automatic theorem proving -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: Eighth International Conference on Automated Deduction.
Notes: Includes bibliographies.