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 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Thyroid Disease
$249.99
Die Finanzwirtschaft der Unternehmung
$59.99
Clinical Trials of Antidepressants
$54.99
Excel 2007
$29.99
Scholastic Discover More: My Body
$5.96
How to Make Healthy and Delicious Snacks
$4.46
Basic and Advanced Laboratory Techniques in Histopathology and Cytology
$84.99
Environmental Modeling
$119.00
Expert Oracle Exadata
$99.99
Freitragende Holzbauten
$89.99
Social Memory and War Narratives
$54.99
Immunostimulatory DNA Sequences
$109.99
Teaching English Language Arts to English Language Learners
$99.99
Personelle und Statistische Wahrscheinlichkeit
$59.99
Fundamentals of Computation Theory
$54.99
Megatrends in Agriculture, Food Industry and Food Markets
$59.99
Shifting Horizons of Public International Law
$199.99
Nutrition
$39.99
Einfhrung in die Mathematik fr Biologen
$54.99
Morbus Parkinson
$59.99
Projective Techniques in Personality Assessment
$39.99
Consensus as Key Success Factor in Strategy-Making
$54.99
Dynamic Cloud Collaboration Platform
$54.99
Das Geheimnis des Schpferischen oder: Ingenium est ineffabile?
$39.99
Essays on Pierre Bayle and Religious Controversy
$109.99
Formal Verification of Simulink/Stateflow Diagrams
$99.00
Design of Reconfigurable Antennas Using Graph Models
$39.99
NEO 2015
$129.00
IT-Services in der Cloud und ISAE 3402
$84.99
Pro OGRE 3D Programming
$54.99
Computer Analysis of Images and Patterns
$49.99
Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive
$39.99
Systems Analysis Tools for Better Health Care Delivery
$54.99
The Comic Book Lesson: A Graphic Novel That Shows You How To Make Comics by Mark Crilley
$18.99
Mussolinis Rome
$69.99
Time Policies for a Sustainable Society
$54.99
Qualittsmanagement fr Nonprofit-Organisationen
$69.99
Ausbildungskompass Bankkaufleute
$64.99
The Global Future of Higher Education and the Academic Profession
$84.99
Evolutionary Biology: Contemporary and Historical Reflections Upon Core Theory
$169.00
