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
A Basic Course in Probability Theory
$44.99
Personal Care Products in the Aquatic Environment
$169.00
Electron Correlations and Materials Properties
$169.00
Women, Migration and Asylum in Turkey
$139.99
Innovationslobbying
$49.99
Climate Change, Forests and Federalism
$84.99
Anatomie am Krankenbett
$64.99
Wirkungsvolle Prsentationen von und in Projekten
$44.99
Intracellular Traffic and Neurodegenerative Disorders
$219.99
Simulation and Modeling Methodologies, Technologies and Applications
$129.00
Wireless Personal Communications
$109.99
Performance Analysis and Modeling of Digital Transmission Systems
$39.99
Social Monitoring for Public Health
$54.99
Social and Emotional Prevention and Intervention Programming for Preschoolers
$84.99
Bildungskarrieren von Jugendlichen und ihre Peers an exklusiven Schulen
$49.99
geschlecht_transkulturell
$44.99
Pharmakotherapie bei Niereninsuffizienz
$69.99
Aquatic Dermatology
$39.99
Hypoplastic Left Heart Syndrome
$169.00
Molten Salt Technology
$109.99
Versicherungskonomie
$59.99
Global Bioethics: The Impact of the UNESCO International Bioethics Committee
$39.99
Mathematik fr Wirtschaftswissenschaftler I
$29.99
Grundlagen der Rinderzucht
$84.99
Human-Computer Interaction: Design and Development Approaches
$109.99
Neuroimmunology
$99.00
Robotic Urology
$199.99
Transparency in Biology
$159.99
Energy Law and Regulation in Brazil
$89.99
Intelligent Robotics and Applications
$64.99
Nat Enough Graphix Grades 6-8
$47.00
Strukturen von Polymer-Systemen
$39.99
Routenzugplanung
$17.99
Aufstieg Anreiz Auslese
$44.99
Physicochemical Aspects of Polymer Surfaces
$219.99
Natural Language Processing and Information Systems
$39.99
Euler as Physicist
$84.99
Just War Theory
$54.99
Digital Fourier Analysis
$54.99
Zur Frage der Biomechanik des Aktivators Entwicklung und Erprobung neuer Untersuchungsmethoden
$59.99
