ML for the Working Programmer
Lawrence C. Paulson, Larry C. Paulson
₹4,268
Isabelle
A Generic Theorem Prover
by Lawrence C. Paulson, T. Nipkow
₹5,612
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
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.
Description supplied by the publisher.
Book details
More by Lawrence C. Paulson and related titles
Legal Executions After Statehood in Arizona, Colorado, Nevada, New Mexico and Utah
R. Michael Wilson
₹4,547
Design Expertise
Bryan Lawson, Kees Dorst
₹4,273
Advances in Group Processes
Shane R. Thye, Edward J. Lawler
₹5,452
Chess Training Pocket Book II
Lev Alburt, Al Lawrence
₹1,780
English Population History from Family Reconstitution 1580 1837
E. A. Wrigley, R. S. Davies, J. E. Oeppen
₹3,499
The Constitution of Interests
John Brigham
₹5,280
Encyclopedia of Television Law Shows
Hal Erickson
₹3,556
Asia-Pacific Constitutional Systems
Graham Hassall, Cheryl Saunders, John Ravenhill
₹4,778
Interpreting Music
Lawrence Kramer
₹5,035
Political Culture and Constitutionalism
Daniel P. Franklin, Michael J. Baun
₹4,083
Legal Foundations of Capitalism
John Rogers Commons
₹3,978