8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Automated Deduction Oxford, Oxfordshire
Other Authors:	Siekmann, Jörg H.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1986]
Series:	Lecture notes in computer science ; 230.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage