Copied Isabelle
Isabelle
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 practice. Virtually all Isabelle functions are described, with advice on correct usage and numerous examples. Isabelle's built-in logics are also described in detail. There is a comprehensive bebliography and index. The book addresses prospective users of Isabelle as well as researchers in logic and automated reasoning.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$54.99 | $54.99 |
|
$49.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Advances in Nonlinear Parameter Optimization
$39.99
Transnational Perspectives on Artists Lives
$119.99
Relativittstheorie aktuell
$29.99
Decolonizing Time
$109.99
Wireless LAN in der Praxis
$59.99
Climate Development and History of the North Atlantic Realm
$219.99
Coach and Couch
$84.99
Distributed Computing
$54.99
Kartelle, Gewerkschaften und Genossenschaften
$59.99
Content Management Systeme
$39.99
South Asian Migration in the Gulf
$169.99
Greens Functions in Classical Physics
$64.99
Die Rolle von Anwendern bei hochgradigen Innovationen
$74.99
Diffusion in Materials
$329.99
Gas Lasers - Recent Developments and Future Prospects
$54.99
Family Game Night and Other Catastrophes
$5.99
Die Arzneimittel-Synthese auf Grundlage der Beziehungen Zwischen Chemischem Aufbau und Wirkung
$59.99
Rookie Biographies: Malala Yousafzai
$4.46
Mathematikunterricht in der Sekundarstufe II
$39.99
New Classroom Collection Grade K
$459.00
Software Engineering and Knowledge Engineering: Theory and Practice
$259.00
Hermaphroditism and Mating Systems in Fish
$139.00
Tribology for Energy, Environment and Society
$219.99
The Evolution of the Greek Economy
$119.99
The Meaning of Care
$39.99
Dopplersonographie in Geburtshilfe und Gynkologie
$129.00
Das deutsche Gemeinderatsmitglied
$59.99
Die Staatengesellschaft im Globalisierungsprozess
$69.99
Geschlechterdifferenz und Schulleistung
$49.99
Klausurtraining Hydrochemische Berechnungen
$34.99
Brustkrankheiten im Mammogramm
$79.99
Bones and Joints in Diabetes Mellitus
$169.00
Chocolate and Health
$169.99
Sexuell bertragbare Erkrankungen
$69.99
The Political Economy of Trade Conflicts
$109.99
Economics and Social Conflict
$84.99
Einfhrung in die Rntgenfeinstrukturanalyse
$44.99
Justice, Luck & Responsibility in Health Care
$109.99
Die Entscheidung ber die Unternehmensgrenze bei radikaler technologischer Vernderung
$69.99
Linguistic Intermarriage in Australia
$54.99
