Isabelle (English, Lawrence C. Paulson | T. Nipkow)
by Lawrence C. Paulson | T. Nipkow
Delivery options
₹5,612
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: ₹5,612
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540582441
ISBN-10
3540582444
Author
Lawrence C. Paulson | T. Nipkow
About the Book
As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practic…
ISBN: 9783540582441
ISBN-13: 9783540582441
ISBN-10: 3540582444
Frequently Asked Questions
What is the price of Isabelle?
Isabelle starts from ₹5612 at BookBajar. Available in Paperback.
Who is the author of Isabelle?
Lawrence C. Paulson | T. Nipkow is the author of Isabelle. Browse more books by Lawrence C. Paulson | T. Nipkow on BookBajar.
Is Isabelle available in Paperback and Hardcover?
Yes, Isabelle is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Isabelle?
Yes, BookBajar offers free delivery for Isabelle across India. No minimum order value required.
Is Cash on Delivery available for Isabelle?
Yes, Cash on Delivery (COD) is available for Isabelle on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540582441
🛒 Customers Also Bought
Quantum Mechanics (English, Julian Schwinger | Berthold-Georg Englert)
₹11,950
Zivilrechtliche Mietpreiskontrolle (English, Jürgen Keller)
₹3,508
Faktorenanalyse (English, K. Überla)
₹3,508
The Newton-Cauchy Framework (English, John L. Nazareth)
₹5,433
Teaching School Mathematics: Algebra (English, Hardcover, Hung-Hsi Wu)
₹5,213
Chandragupta Maurya: The Creation of a National Hero in India (English, Paperback, Sushma Jansari)
₹2,640Related Products
Software Engineering Education (English, Jorge L. Diaz-Herrera)
₹11,549
Datenstrukturen in Apl2 (English, Hanspeter Bieri | Felix Grimm)
₹3,873
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Five Types of Ethical Theory (English, Broad C.D.)
₹36,229
Wind Resistant Design of Bridges in Japan (English, Yozo Fujino | Kichiro Kimura | Hiroshi Tanaka)
₹11,436