Automated Theorem Proving (English, Wolfgang Bibel)
Delivery options
₹3,508
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 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: ₹3,508
Book Details
Publisher
Vieweg+teubner Verlag
Language
English
ISBN-13
9783528085209
ISBN-10
3528085207
Author
Wolfgang Bibel
About the Book
Among the dreams of mankind is the one dealing with the mecha- nization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredible advances in computer technology let it appear as a real possibility. Of course, it is not easy to say what sort of thing…
ISBN: 9783528085209
ISBN-13: 9783528085209
ISBN-10: 3528085207
Frequently Asked Questions
What is the price of Automated Theorem Proving?
Automated Theorem Proving starts from ₹3508 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Automated Theorem Proving?
Wolfgang Bibel is the author of Automated Theorem Proving. Browse more books by Wolfgang Bibel on BookBajar.
Is Automated Theorem Proving available in Paperback and Hardcover?
Yes, Automated Theorem Proving is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Automated Theorem Proving?
Yes, BookBajar offers free delivery for Automated Theorem Proving across India. No minimum order value required.
Is Cash on Delivery available for Automated Theorem Proving?
Yes, Cash on Delivery (COD) is available for Automated Theorem Proving on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783528085209
🛒 Customers Also Bought
Selektivschutz (English, H. Neugebauer)
₹4,174
Mikroelektronik Im Kraftfahrzeug (English, Gerhard Conzelmann | Uwe Kiencke)
₹4,184
Valentin Serov (Best of) (English, Hardcover, Parkstone Press)
₹4,123
Druckgieß-Technik (English, Gustav Lieby | Leopold Frommer)
₹3,662
Formeln Und Tabellen Aus Dem Gebiete Der Funktechnik (English, Wilhelm Spreen | Eugen Nesper)
₹4,352
Fractional Dynamics and Control (English, Dumitru Baleanu | José António Tenreiro Machado | Albert C. J. Luo)
₹9,124Related Products
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700