Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Theorem Proving in Higher Order Logics
Best Price (Coupon Required):
Buy Theorem Proving in Higher Order Logics for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.
Reviews
Questions & Answers
Ibn al-Haythams Completion of the Conics
$169.00
Biostatistics with R
$89.99
Politische Kommunikation in der Mediengesellschaft
$69.95
Rolls-Royce
$19.99
Theorie der Gewhnlichen Differentialgleichungen
$64.99
Mathematik 2
$44.99
Numerische Methoden der Approximation und semi-infiniten Optimierung
$69.95
Indian Multinationals
$109.99
Sheaves, Games, and Model Completions
$109.99
Jahresabschluss, Kostenrechnung und Finanzierung im Krankenhaus
$39.99
Herausforderung Nahost
$64.99
Die deutsche Demokratie
$44.99
Spotlight on... Literary Elements
$63.74
The Future of Foreign Aid
$56.99
Algebraic Topology and Transformation Groups
$44.99
The Viscosity of Protoplasm
$54.99
HIV/AIDS in China
$84.99
Illuminating How Identities, Stereotypes and Inequalities Matter through Gender Studies
$109.99
Classic Goosebumps: The Haunted Car (#30)
$5.99
Machine Translation and the Lexicon
$39.99
Antirheumatic Therapy: Actions and Outcomes
$169.99
Complications of Percutaneous Coronary Interventions
$84.99
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Inf
$109.99
Principles of Petroleum Reservoir Engineering
$79.99
CO2-Laser in der Stapeschirurgie
$34.99
Contesting Recognition
$39.99
Analyses Concerning Passive and Active Synthesis
$499.99
Algorithms - ESA 2000
$39.99
Osnowy informatiki
$59.99
Metaheuristics in the Service Industry
$84.99
Computational Methods for Quantitative Finance
$119.99
The Molecular and Cellular Biology of Fertilization
$54.99
Writing for Publication
$119.99
Financial Mathematics
$54.99
Ein modellbasiertes Regelungskonzept fr einen Gesamtfahrzeug-Dynamikprfstand
$54.99
Geometric Topology and Shape Theory
$34.99
Kants Theory of Natural Science
$129.00
Quality of Life and Early British Migration
$54.99
British Policy and Strategy towards Norway, 1941-45
$109.99
Electric Fields, Additives and Simultaneous Heat and Mass Transfer in Heat Transfer Enhancement
$54.99
