Springer
Automated Deduction - Cade-18 (English, Andrei Voronkov)
₹5,649
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
The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the pr…
ISBN: 9783540439318
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540439318 |
| ISBN-10 | 3540439315 |
| Author | Andrei Voronkov |
