Automated deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Automated Deduction New Brunswick, N.J.
Other Authors:	McRobbie, M. A. (Michael A.), Slaney, J. K. (John K.)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1104. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage