Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Automated Deduction Pittsburgh, Pa.
Other Authors:	McAllester, David A.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin; New York : Springer, 2000.
Series:	Lecture notes in computer science ; 1831. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage