Rewriting Techniques and Applications
Tobias Nipkow
₹3,959
Isabelle/Hol
A Proof Assistant for Higher-Order Logic
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Springer · 2002 · Paperback
₹4,964
Free delivery. Nothing extra to pay at checkout.
- 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.
About this book
Isabelle/Hol: A Proof Assistant for Higher-Order Logic is written by Tobias Nipkow, Lawrence C. Paulson & others. This paperback edition from Springer (2002) has 218 pages.
Its main subjects are Computer logic, Automatic theorem proving, Computer science and Software engineering.
Book details
More by Tobias Nipkow and related titles
Parental Rights and Responsibilities
Harriet Churchill
₹3,651
Casenotes Legal Briefs for Property Keyed to Singer, Berger, Davidson, and Penalver
Casenote Legal Briefs
₹2,850
Cases and Materials on Criminal Law
Mike Molan
₹3,724
Allokationseffizienz in der Rechtsordnung
Claus Ott, Hans-Bernd Schäfer
₹3,508
United States and the International Criminal Court
Sarah B. Sewall, Carl Kaysen, Gary J. Bass
₹4,220
To Secure These Rights
Scott Douglas Gerber
₹3,681
The View of the Courts from the Hill
Mark C. Miller
₹4,472
Flexible Constitution
Sean Wilson
₹4,911
Changing Energy Markets - The Legal Consequences
International Bar Association
₹3,052
Regulating from Nowhere
Douglas A. Kysar
₹3,789
Isabelle
Lawrence C. Paulson, T. Nipkow
₹5,612