Automated Deduction - Cade-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings

by David McAllester

Book Overview

For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540676643
• ISBN13: 9783540676645
• Release Date: June 2000
• Publisher: Springer
• Length: 526 Pages
• Weight: 1.65 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"