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 — Ships same day. Delivery in 3-4 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
Data Privacy: Principles and Practice (English, Paperback, Nataraj Venkataramanan)
₹2,700
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Der Keynesianismus II (English, G. Bombach | H. -J Ramser | M. Timmermann)
₹4,601
Physik Des Erdnahen Weltraums (English, Gerd Prölss)
₹3,508
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141Related Products
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Teaching School Mathematics: Algebra (English, Hardcover, Hung-Hsi Wu)
₹5,213
Prozessmanagement Individuell Umgesetzt (English, Eva-Maria Kern)
₹5,694
Dust Mites (English, Matthew J. Colloff)
₹23,844
Methodenhandbuch Für Softwareschulungen (English, Stefanie Gerlach | Inga Squarr)
₹5,040