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
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
