Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Automated Deduction Lindau, Bavaria, Germany
Other Authors:	Kirchner, Claude, Kirchner, H. (Hélène)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1998]
Series:	Lecture notes in computer science ; 1421. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage