Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

By Andrei Voronkov

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540439315
• ISBN13: 9783540439318
• Release Date: July 2002
• Publisher: Springer
• Length: 540 Pages
• Weight: 1.68 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"