Theorem Proving in Higher Order Logics (English, Richard J. Boulton | Paul B. Jackson)
by Richard J. Boulton | Paul B. Jackson
Delivery options
₹5,718
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: ₹5,718
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540425250
ISBN-10
354042525X
Author
Richard J. Boulton | Paul B. Jackson
About the Book
This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in theorem proving and veri?cation. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2…
ISBN: 9783540425250
ISBN-13: 9783540425250
ISBN-10: 354042525X
Frequently Asked Questions
What is the price of Theorem Proving in Higher Order Logics?
Theorem Proving in Higher Order Logics starts from ₹5718 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Theorem Proving in Higher Order Logics?
Richard J. Boulton | Paul B. Jackson is the author of Theorem Proving in Higher Order Logics. Browse more books by Richard J. Boulton | Paul B. Jackson on BookBajar.
Is Theorem Proving in Higher Order Logics available in Paperback and Hardcover?
Yes, Theorem Proving in Higher Order Logics is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Theorem Proving in Higher Order Logics?
Yes, BookBajar offers free delivery for Theorem Proving in Higher Order Logics across India. No minimum order value required.
Is Cash on Delivery available for Theorem Proving in Higher Order Logics?
Yes, Cash on Delivery (COD) is available for Theorem Proving in Higher Order Logics on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540425250
🛒 Customers Also Bought
Die Arbeitszeitermittlung Im Werkzeugbau (English, E. Mindt)
₹3,282
Die Dampfturbinen (English, Constantin Zietemann | Karl Röder)
₹5,366
Richtiges Messen in Dampf- Und Feuerungsbetrieben (English, Gesellschaft Für Wärmewirtschaft/Wien)
₹5,907
Arzthaftungsrecht - Rechtspraxis Und Perspektiven (English, T. Ratajczak | Arbeitsgem Rechtsanwälte Im Medizinrecht | K. -O Bergmann)
₹5,578
Das Gesenkformen I (English, R. Eschelbach)
₹4,220
Geschichte Der Firma Gebrüder Sulzer (English, Conrad Matschoß)
₹4,176Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883