Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Automated Deduction Trento, Italy
Other Authors:	Ganzinger, H. (Harald), 1950-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Series:	Lecture notes in computer science ; 1632. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage