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

This book constitutes the refereed proceedings of the 17th International Conference on Automated Deduction, CADE-17, held in Pittsburgh, Pennsylvania, USA, in June 2000. The 24 revised full research papers and 15 system descriptions presented were carefully reviewed and selected from 53 paper submis...

Full description

Bibliographic Details

Corporate Authors:	International Conference on Automated Deduction Pittsburgh, Pa., SpringerLink (Online service)
Other Authors:	McAllester, David A.
Format:	Conference Proceeding eBook
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. Automatic theorem proving. Logic, Symbolic and mathematical. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book