-65% OFFSpringer
Automated Deduction - Cade-11 (English, Deepak Kapur)
₹4,105₹11,773Save 65%
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Quantity:
1
Free DeliveryOn orders above ₹499
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540556022 |
| ISBN-10 | 3540556028 |
| Author | Deepak Kapur |
Product Description
Here on GlowMirror, you'll find Automated Deduction - Cade-11 filed under Springer -- everything you need to know is covered below.
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
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Automated Deduction - Cade-11
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Springer
Who Should Read This
Advanced students, researchers, and domain experts seeking in-depth knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy
Frequently Asked Questions
What is the price of Automated Deduction - Cade-11?
Automated Deduction - Cade-11 is available at ₹4,105 on GlowMirror. The original MRP is ₹11,773, saving you 65%.
Does GlowMirror offer free delivery for Automated Deduction - Cade-11?
GlowMirror offers free delivery on orders above ₹499. For Automated Deduction - Cade-11 priced at ₹4,105, you qualify for free shipping.
Is Cash on Delivery available for Automated Deduction - Cade-11?
Yes, Cash on Delivery (COD) is available for Automated Deduction - Cade-11 on GlowMirror across India. Pay conveniently when your order arrives.
What is the return policy for Automated Deduction - Cade-11?
GlowMirror offers a 15-day hassle-free return policy for Automated Deduction - Cade-11. Returns are free of charge. Contact us at info@glowmirror.in or call +91 99446 78357 to initiate a return.
Is Automated Deduction - Cade-11 available in English?
Automated Deduction - Cade-11 is available in English on GlowMirror.
Who is the author of Automated Deduction - Cade-11?
Automated Deduction - Cade-11 is authored by Deepak Kapur.
Who published Automated Deduction - Cade-11?
Automated Deduction - Cade-11 is published by Springer.
How many pages does Automated Deduction - Cade-11 have?
Page count information for Automated Deduction - Cade-11 is available in the specifications section of this page.
How long does it take to read Automated Deduction - Cade-11?
At an average reading speed of 250 words per minute, reading Automated Deduction - Cade-11 takes a few hours to a few days depending on reading pace.
What is Automated Deduction - Cade-11 about?
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 in...
Is Automated Deduction - Cade-11 suitable for beginners?
Whether Automated Deduction - Cade-11 is suitable for beginners depends on your background in Springer. Review the product description and specifications above for details on the target audience and difficulty level.
What edition is Automated Deduction - Cade-11?
Automated Deduction - Cade-11 is from the Springer edition/year. Check the specifications section for full edition details.
How do I order Automated Deduction - Cade-11 on GlowMirror?
To order Automated Deduction - Cade-11 on GlowMirror, click the "Add to Cart" button on this page, proceed to checkout, and choose your preferred payment method — online payment or Cash on Delivery. Delivery takes 2–7 business days across India.
Is Automated Deduction - Cade-11 a new or used book?
Automated Deduction - Cade-11 listed on GlowMirror is a brand new book in good condition.
Can I get Automated Deduction - Cade-11 delivered across India?
Yes, GlowMirror delivers Automated Deduction - Cade-11 across India. Use the pincode checker on this page to verify delivery availability to your location.
