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.
Product ID: isbn-9783540646754
🛒 Customers Also Bought
Wasserkraftmaschinen (English, K. Meerwarth | L. Quantz | K. Meerwarth)
₹4,197
Integrated Optics (English, Robert G. Hunsperger)
₹4,233
Die Technische Mechanik Des Maschineningenieurs Mit Besonderer Berücksichtigung Der Anwendungen (English, P. Stephan)
₹4,179
Information Warfare and Organizational Decision-Making (Artech House Information Warfare Library) (English, Paperback, Alexander Kott)
₹5,427
Konstruktionslehre Des Allgemeinen Maschinenbaues (English, Robert Matousek)
₹3,188
Süd-Afrika Wie Es Ist (English, Statham Baltzer)
₹4,170Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095