Springer
Automated Deduction - Cade-18 (English, Andrei Voronkov)
₹5,649
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783540439318 |
| ISBN-10 | 3540439315 |
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
Frequently Asked Questions
What is the price of Automated Deduction - Cade-18?
Automated Deduction - Cade-18 is available at ₹5,649 on BookShops.in.
Does BookShops.in offer free delivery for Automated Deduction - Cade-18?
FREE delivery on all orders for Automated Deduction - Cade-18.
Is Cash on Delivery available for Automated Deduction - Cade-18?
Yes, Cash on Delivery (COD) is available for Automated Deduction - Cade-18 on BookShops.in. Pay when your order arrives.
What is the return policy for Automated Deduction - Cade-18?
BookShops.in offers a 15-day hassle-free return policy for Automated Deduction - Cade-18. Contact us at support@bookshops.in or call +91 81899 68108.
Is Automated Deduction - Cade-18 authentic?
Automated Deduction - Cade-18 is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
