A K Peters/CRC Press
Symbolic Computation and Automated Reasoning (English, Manfred Kerber | Michael Kohlhase)
₹4,226
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
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
Product Description
About the Book
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the integration of computer algebra systems and deduction systems and the results presented will improv…
ISBN: 9781568811451
Book Specifications
| ISBN-13 | 9781568811451 |
| ISBN-10 | 1568811454 |
| Publisher | A K Peters/CRC Press |
| Category | A K Peters/CRC Press |
Frequently Asked Questions
What is the price of Symbolic Computation and Automated Reasoning?
Symbolic Computation and Automated Reasoning is available at ₹4,226 on BookShops.in.
Does BookShops.in offer free delivery for Symbolic Computation and Automated Reasoning?
FREE delivery on all orders for Symbolic Computation and Automated Reasoning.
Is Cash on Delivery available for Symbolic Computation and Automated Reasoning?
Yes, Cash on Delivery (COD) is available for Symbolic Computation and Automated Reasoning on BookShops.in. Pay when your order arrives.
What is the return policy for Symbolic Computation and Automated Reasoning?
BookShops.in offers a 15-day hassle-free return policy for Symbolic Computation and Automated Reasoning. Contact us at [email protected] or call +91 81899 68108.
Is Symbolic Computation and Automated Reasoning authentic?
Symbolic Computation and Automated Reasoning is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
McFarland & Company
Playing with the Guys | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew W
₹3,526
Rowman & Littlefield Publishers
Joss Whedon's Dollhouse: Confounding Purpose, Confusing Identity (Science Fiction Television)
₹5,661
State University of New York Press
Mexico Unmanned: The Cultural Politics of Masculinity in Mexican Cinema (SUNY series in Latin American Cinema)
₹3,251
McFarland & Company
Valley Forge to Monmouth | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company |
₹3,523
University of Toronto Press
Structures of Feeling in Seventeenth-Century Cultural Expression (UCLA Center Clark Library)
₹5,875
McFarland & Company
Welcome to Arkham Asylum | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon P
₹3,557
Related Products
View All
A K Peters/CRC Press
An Introduction to Scientific, Symbolic, and Graphical Computation (English, Eugene Fiume)
₹4,043
A K Peters/CRC Press
Mathemagician and Pied Puzzler (English, Elwyn R. Berlekamp | Tom Rodgers)
₹4,081
A K Peters/CRC Press
The World According to Wavelets (English, Barbara Burke Hubbard)
₹4,421
A K Peters/CRC Press
Erdos on Graphs (English, Fan Chung | Ron Graham)
₹4,542
A K Peters/CRC Press
Augmented Reality (English, Reinhold Behringer | Gudrun Klinker | David Mizell)
₹4,068
A K Peters/CRC Press
Polynomial Invariants Finite Group (English, Larry Smith)
₹4,148