✓ 100% Original Books — Direct from Publishers🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 Lakhs of Titles in Stock⚡ Fast Dispatch Same Day🏅 Trusted by Indian Readers
✓ 100% Original Books — Direct from Publishers🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 Lakhs of Titles in Stock⚡ Fast Dispatch Same Day🏅 Trusted by Indian Readers
Automated Deduction - Cade-15 (English, Claude Kirchner | Helene Kirchner) - Image 1 - BookBajar

Automated Deduction - Cade-15 (English, Claude Kirchner | Helene Kirchner)

by Claude Kirchner | Helene Kirchner

Delivery options

₹5,605
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,605

Book Details

Publisher
Springer
Language
English
ISBN-13
9783540646754
ISBN-10
3540646752
Author
Claude Kirchner | Helene Kirchner

About the Book

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, mod…

ISBN: 9783540646754

ISBN-13: 9783540646754
ISBN-10: 3540646752

Frequently Asked Questions

What is the price of Automated Deduction - Cade-15?
Automated Deduction - Cade-15 starts from ₹5605 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Automated Deduction - Cade-15?
Claude Kirchner | Helene Kirchner is the author of Automated Deduction - Cade-15. Browse more books by Claude Kirchner | Helene Kirchner on BookBajar.
Is Automated Deduction - Cade-15 available in Paperback and Hardcover?
Yes, Automated Deduction - Cade-15 is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Automated Deduction - Cade-15?
Yes, BookBajar offers free delivery for Automated Deduction - Cade-15 across India. No minimum order value required.
Is Cash on Delivery available for Automated Deduction - Cade-15?
Yes, Cash on Delivery (COD) is available for Automated Deduction - Cade-15 on BookBajar. You can pay when your order is delivered.
ISBN-10: 3540646752. ISBN-13: 9783540646754. Buy Automated Deduction - Cade-15 (English, Claude Kirchner | Helene Kirchner) online. Automated Deduction - Cade-15 (English, Claude Kirchner | Helene Kirchner) price in India. Claude Kirchner | Helene Kirchner books. Automated Deduction - Cade-15 (English, Claude Kirchner | Helene Kirchner) best price. Automated Deduction - Cade-15 (English, Claude Kirchner | Helene Kirchner) free delivery India. Automated Deduction - Cade-15 (English, Claude Kirchner | Helene Kirchner) BookBajar.
Product ID: isbn-9783540646754