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

Blastocystis: Pathogen or Passenger?

$129.00

Personalakquisition im Spiegelbild der Generationenvielfalt

$64.99

Multiplicity of Time Scales in Complex Systems

$139.99

Interne Notfallmedizin

$54.99

Inventory Control

$74.99

The Tagore-Gandhi Debate on Matters of Truth and Untruth

$54.99

Racism and Human Rights

$54.99

q-RASAR

$49.99

Financial Statements-Based Bank Risk Aggregation

$159.99

Wertorientiertes Risikomanagement in Banken

$74.99

Liberal Imperialism in Europe

$109.99

Principles and Practice of Research

$74.99

Beeinflussung im Verkaufsgesprch

$29.99

Die politische Rhetorik der Europischen Kommission

$44.99

Essential IVF

$169.00

Carmen la estrella!

$5.21

Statistical Atlases and Computational Models of the Heart. Regular and CMRxMotion Challenge Papers

$79.99

Complexity Management in Fuzzy Systems

$109.99

Logistik-Controlling mit Benchmarking

$49.99

Science Policy and Research Management in the Balkan Countries

$219.99

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

$39.99

Advances in Asian Mechanism and Machine Science

$219.00

Performance Engineering

$39.99

Inference for Diffusion Processes

$109.99

Anthropology-Based Computing

$54.99

Besser leben mehr erreichen!

$59.99

Colonial Heritage and Urban Transformation in the Global South

$99.00

Economic Regulation of Urban and Regional Airports

$149.00

Einfhrung in die Interaktionistische Ethnografie

$39.99

Young urban poor

$69.99

Developing Countries and Global Markets

$109.99

Electronic Government

$84.99

Higher Education Across the Circumpolar North

$109.99

Nonlinear Control Synthesis for Electrical Power Systems Using Controllable Series Capacitors

$39.99

Micro Light Emitting Diode: Fabrication and Devices

$159.99

Versicherungsmagazin - Jahrgang 2019

$84.99

Beitrag zur Charakterisierung von Blechwerkstoffen unter mehrachsiger Beanspruchung

$84.99

Articular Cartilage Defects of the Knee

$109.99

Leadership of Networks and Performance

$39.99

Atlas of Pediatric Surgery

$189.00