Take a photo of a barcode or cover
Read With Others
Book Information
776 pages • paperback • 16 editions
ISBN/UID: 9783540193432
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 04 May 1988
Description
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the disco...
Community Reviews
Content Warnings
776 pages • paperback
ISBN/UID: 9783540193432
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 04 May 1988
Description
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the disco...
Community Reviews
Content Warnings