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 BookBajar. 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 BookBajar.
Is Symbolic Computation and Automated Reasoning available in Paperback and Hardcover?
Yes, Symbolic Computation and Automated Reasoning is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Symbolic Computation and Automated Reasoning?
Yes, BookBajar 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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9781568811451
🛒 Customers Also Bought
Neurovascular Neuropsychology (English, Joanne Festa | J. P. Mohr | Ronald Lazar)
₹22,489
Handbook of Psychobiography (English, William Todd Schultz)
₹10,880
International Migration, Remittances, and the Brain Drain (English, Maurice Schiff | Çaglar Özden)
₹3,846
Körperzentrierte Psychotherapie Im Dialog (English, Alfred Künzler | Claudia Böttcher | Romana Hartmann)
₹5,694
An Introduction to Polynomial and Semi-Algebraic Optimization (English, Jean Bernard Lasserre)
₹17,378
Nanoscale Energy Transport and Conversion (English, Gang Chen)
₹24,264Related Products
Feldbussysteme in Der PRAXIS (English, Birgit Scherff | Erwin Haese | Hagen R. Wenzek)
₹3,623
A-Z of Musculoskeletal and Trauma Radiology (English, James R. D. Murray | Erskine J. Holmes | Rakesh R. Misra)
₹14,903
Magnetic Resonance Imaging of the Knee (English, Mamoru Niitsu | Ali Guermazi | Daichi Hayashi)
₹7,297
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957
Fundamentals of Magnonics (English, Rezende | Sergio M.)
₹6,128