Automated Deduction - Cade-11 (English, Deepak Kapur)
by Deepak Kapur
Delivery options
₹4,105-65%
MRP:₹11,773Save ₹7,668
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
65% Off — you save ₹7,668 on this product!
Total: ₹4,105
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540556022
ISBN-10
3540556028
Author
Deepak Kapur
About the Book
This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theoremprovers; unification theory; constraint…
ISBN: 9783540556022
ISBN-13: 9783540556022
ISBN-10: 3540556028
Frequently Asked Questions
What is the price of Automated Deduction - Cade-11?
Automated Deduction - Cade-11 starts from ₹4749 at GlowMirror. Available in Paperback.
Who is the author of Automated Deduction - Cade-11?
Deepak Kapur is the author of Automated Deduction - Cade-11. Browse more books by Deepak Kapur on GlowMirror.
Is Automated Deduction - Cade-11 available in Paperback and Hardcover?
Yes, Automated Deduction - Cade-11 is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Automated Deduction - Cade-11?
Yes, GlowMirror offers free delivery for Automated Deduction - Cade-11 across India. No minimum order value required.
Is Cash on Delivery available for Automated Deduction - Cade-11?
Yes, Cash on Delivery (COD) is available for Automated Deduction - Cade-11 on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540556022
🛒 Customers Also Bought
Kompetenzen Für Supply Chain Manager (English, Thomas Rudolph | Randy Drenth | Niklas Meise)
₹3,508
Fallrepetitorium Familien- Und Erbrecht (English, Anne Röthel)
₹1,791
Un Universo Comprensibile (English, George V. Coyne | Michael Heller)
₹3,009
Financial Mathematics (English, Bruno Biais | Wolfgang J. Runggaldier | Thomas Björk)
₹5,045
Annegamento Soccorso Tecnico E Sanitario (English, Elvia Battaglia | Alessio Baghin)
₹5,579
Valproinsäure (English, Günter Krämer | J. Walden)
₹3,873Related Products
Extemporaneous Ophthalmic Preparations (English, Eman Alghamdi | Abdulmalik Yahya Al Qahtani | Mazen M. Sinjab)
₹5,737
Robotik (English, Hans-Jürgen Siegert | Siegfried Bocionek)
₹2,779
Betriebswirtschaftliche Praxisführung Für Ärzte (English, K. Ahlers | Helmut Börkircher | H. Cox)
₹4,237
Kurze Geschichte Der Chirurgie (English, Walter V. Brunn)
₹2,269
Psychiatrie Und Psychotherapie (English, H. Berger | Horst Dilling | Christian Reimer)
₹5,030