Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Isabelle

Isabelle

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540582441
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$54.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

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