Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

by Harald Ganzinger

Book Overview

This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10, 1999, and hosted by Istituto Trentino di Cultura... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540662227
• ISBN13: 9783540662228
• Release Date: June 1999
• Publisher: Springer
• Length: 438 Pages
• Weight: 1.38 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"