Automated Deduction - Cade-18 (English, Andrei Voronkov)
Delivery options
₹5,649
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,649
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540439318
ISBN-10
3540439315
Author
Andrei Voronkov
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
ISBN-13: 9783540439318
ISBN-10: 3540439315
Frequently Asked Questions
What is the price of Automated Deduction - Cade-18?
Automated Deduction - Cade-18 starts from ₹5649 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Automated Deduction - Cade-18?
Andrei Voronkov is the author of Automated Deduction - Cade-18. Browse more books by Andrei Voronkov on BookBajar.
Is Automated Deduction - Cade-18 available in Paperback and Hardcover?
Yes, Automated Deduction - Cade-18 is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Automated Deduction - Cade-18?
Yes, BookBajar offers free delivery for Automated Deduction - Cade-18 across India. No minimum order value required.
Is Cash on Delivery available for Automated Deduction - Cade-18?
Yes, Cash on Delivery (COD) is available for Automated Deduction - Cade-18 on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540439318
🛒 Customers Also Bought
Bilder Und Skizzen Aus Der Geschichte (English, Na Kletke | Na Pietsch)
₹6,000
Elastizität Und Festigkeit Im Rohrleitungsbau (English, Helmut Von Jürgensonn)
₹5,394
Das Einrichten Von Automaten (English, E. Gothe | Ph. Kelle | A. Kreil)
₹4,221
Objektive Photometrie (English, Rudolf Sewig)
₹5,966
Rationelle Energieverwendung Im Hochbau (English, Peter Epinatjeff | Dietmar Winje | Bodo Weidlich)
₹5,559
Richtiges Messen in Dampf- Und Feuerungsbetrieben (English, Gesellschaft Für Wärmewirtschaft/Wien)
₹5,907Related Products
Metalldrücken (English, W. Sellin)
₹4,220
Riesen Des Meeres (English, E. J. Slijper)
₹3,721
Introduction to Dynamics of Structures and Earthquake Engineering- (45) (English, Cimellaro)
₹5,572
Maschinen Und Werkzeuge Für Die Spangebende Holzbearbeitung (English, H. Wichmann)
₹3,296
Analysis III (English, Godement)
₹2,495