Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, Ny, Usa, June 15-18, 1992. Proceedings

By Deepak Kapur

This volume contains the papers presented at the EleventhInternational Conference on Automated Deduction (CADE-11)held in Saratoga Springs, NY, inJune 1992. A total of 136papers were submitted for... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540556028
• ISBN13: 9783540556022
• Release Date: May 1992
• Publisher: Springer
• Length: 800 Pages
• Weight: 2.47 lbs.
• Dimensions: 1.6" x 6.1" x 9.2"