8th International Conference on Automated Deduction, Oxford, England,July 27-August 1, 1986
Subtitle: proceedings
By: edited by Jörg H. Siekmann.
Contributors: Siekmann, Jörg H.
Series: Lecture notes in computer science -- 230
Publisher: Springer
Published: 1986
Place of publication: Berlin; New York
Language: eng