Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Automated Deduction Saratoga Springs, N.Y.
Other Authors:	Kapur, Deepak
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1992]
Series:	Lecture notes in computer science ; 607. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage