Symbolic Computation and Automated Reasoning (English, Manfred Kerber | Michael Kohlhase)
by Manfred Kerber | Michael Kohlhase
Delivery options
₹7,980
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.
Total: ₹7,980
Book Details
Publisher
A K Peters/CRC Press
Language
English
ISBN-13
9781568811451
ISBN-10
1568811454
Author
Manfred Kerber | Michael Kohlhase
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
ISBN-13: 9781568811451
ISBN-10: 1568811454
Frequently Asked Questions
What is the price of Symbolic Computation and Automated Reasoning?
Symbolic Computation and Automated Reasoning starts from ₹7980 at GlowMirror. Available in Paperback.
Who is the author of Symbolic Computation and Automated Reasoning?
Manfred Kerber | Michael Kohlhase is the author of Symbolic Computation and Automated Reasoning. Browse more books by Manfred Kerber | Michael Kohlhase on GlowMirror.
Is Symbolic Computation and Automated Reasoning available in Paperback and Hardcover?
Yes, Symbolic Computation and Automated Reasoning is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Symbolic Computation and Automated Reasoning?
Yes, GlowMirror offers free delivery for Symbolic Computation and Automated Reasoning across India. No minimum order value required.
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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9781568811451
🛒 Customers Also Bought
Chirurgie Der Abdominalen Und Thorakalen Aorta (English, R. I. Rückert | Wolfgang Hepp | Bernd Luther)
₹4,237
Potential Theory in the Complex Plane (English, Thomas Ransford | C. M. Series | J. W. Bruce)
₹6,670
Uncertainty Analysis for Engineers and Scientists (English, Faith A. Morrison)
₹5,273
Levi-Strauss, Anthropology, and Aesthetics (English, Boris Wiseman)
₹4,414
A Gentle Course in Local Class Field Theory (English, Pierre Guillot)
₹9,871
Reading Frege's Grundgesetze (English, Jr. Heck Richard G.)
₹7,294Related Products
Aus Dem Leben Der Vögel (English, Oskar Heinroth | Katharina Heinroth)
₹3,508
Galactic and Intergalactic Magnetic Fields (English, R. Beck | P. P. Kronberg | R. Wielebinski)
₹15,094
Mathematical Logic (English, Rene Cori | Daniel Lascar | Ren? Cori)
₹19,604
The Cambridge Companion to Vygotsky (English, Harry Daniels | Michael Cole | James V. Wertsch)
₹4,540
Differential Geometry and Statistics (English, Murray M.K.)
₹16,462