Springer
Automated Deduction in Equational Logic and Cubic Curves (English, William McCune | R. Padmanabhan)
₹5,560
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵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
Book Details
| ISBN-13 | 9783540613985 |
| ISBN-10 | 3540613986 |
Product Description
About the Book
This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort. Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the…
ISBN: 9783540613985
Frequently Asked Questions
What is the price of Automated Deduction in Equational Logic and Cubic Curves?
Automated Deduction in Equational Logic and Cubic Curves is available at ₹5,560 on BookShops.in.
Does BookShops.in offer free delivery for Automated Deduction in Equational Logic and Cubic Curves?
FREE delivery on all orders for Automated Deduction in Equational Logic and Cubic Curves.
Is Cash on Delivery available for Automated Deduction in Equational Logic and Cubic Curves?
Yes, Cash on Delivery (COD) is available for Automated Deduction in Equational Logic and Cubic Curves on BookShops.in. Pay when your order arrives.
What is the return policy for Automated Deduction in Equational Logic and Cubic Curves?
BookShops.in offers a 15-day hassle-free return policy for Automated Deduction in Equational Logic and Cubic Curves. Contact us at support@bookshops.in or call +91 81899 68108.
Is Automated Deduction in Equational Logic and Cubic Curves authentic?
Automated Deduction in Equational Logic and Cubic Curves is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
