Take a photo of a barcode or cover
Read With Others
Book Information
690 pages • paperback • 17 editions
ISBN/UID: 9783540528852
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 17 Jul 1990
Description
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is...
Community Reviews
Content Warnings
690 pages • paperback
ISBN/UID: 9783540528852
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 17 Jul 1990
Description
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is...
Community Reviews
Content Warnings