Allokationseffizienz in Der Rechtsordnung
Claus Ott, Hans-Bernd Schäfer
₹3,508
Isabelle/Hol
A Proof Assistant for Higher-Order Logic
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
₹4,964
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
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world.
Description supplied by the publisher.
Book details
More in Law
United States and the International Criminal Court
Sarah B. Sewall, Carl Kaysen, Gary J. Bass
₹4,220
The View of the Courts from the Hill
Mark C. Miller
₹4,472
Flexible Constitution
Sean Wilson
₹4,911
Isabelle
Lawrence C. Paulson, T. Nipkow
₹5,612
State and Market in European Union Law
Wolf Sauter, Harm Schepel
₹4,205
Managing Illegal Immigration to the United States
Bryan Roberts, Alden Edward, John Whitley
₹1,408
Court Revels, 1485-1559
W. R. Streitberger
₹5,221
The Legal Integration of Energy Markets
Terence Daintith, Stephen F. Williams
₹4,277
Debating Human Rights in China
Marina Svensson
₹4,097
The African Human Rights System, Activist Forces and International Institutions
Obiora Chinedu Okafor, Okafor Obiora Chinedu
₹5,300
Engineering Law and the I.C.E. Contracts
M.W. Abrahamson
₹4,890