Home ›Springer ›9th International Conference on Automated Deduction (English, Ewing Lusk | Ross Overbeek)
-55% OFFSpringer
9th International Conference on Automated Deduction (English, Ewing Lusk | Ross Overbeek)
₹5,283₹11,761Save 55%
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
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 discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving,…
ISBN: 9783540193432
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540193432 |
| ISBN-10 | 354019343X |
| Author | Ewing Lusk | Ross Overbeek |
