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 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997. The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.
Reviews
Questions & Answers
Think Strategically
$59.99
Unity of Science
$84.99
Fracture at High Temperatures
$109.99
Face of Truth
$44.99
Groupware: Design, Implementation, and Use
$54.99
Die Physik der Atomkerne
$49.99
Grothendieck- und Wittringe von nichtausgearteten symmetrischen Bilinearformen
$69.99
Database Machines and Knowledge Base Machines
$259.00
Algebraic Theory of Linear Feedback Systems with Full and Decentralized Compensators
$39.99
Der Quantensprung ist keine Hexerei
$69.99
Iris Murdoch: Texts and Contexts
$84.99
Upscaling Multiphase Flow in Porous Media
$109.99
Die Drehzahl-Normung und ihre wirtschaftliche Auswirkung im Drehbankbau
$49.99
Rheumaderm
$39.99
Active System Control
$109.99
Population Genomics: Crop Plants
$279.99
The Politics of Inclusive Development
$109.99
Jahresabschluss, Kostenrechnung und Finanzierung im Krankenhaus
$39.99
The Handbook of EEA Law
$249.99
The Selling of 9/11
$54.99
Queer/Adaptation
$99.00
Werkstoffe fr Gleitlager
$79.99
Sustaining our Environment for Better Future
$139.99
Advanced Planning and Scheduling in Manufacturing and Supply Chains
$249.99
Perspectives in Photosynthesis
$39.99
Numerical Treatment and Analysis of Time-Fractional Evolution Equations
$119.00
Software Engineering and Environment
$39.99
The discovery of the periodic table of the chemical elements
$17.99
Barriers to Employment
$44.99
Nanomaterials for Application in Medicine and Biology
$219.99
Herrscher im Alten Orient
$59.99
Robust Optimization-Directed Design
$84.99
Psychotherapeutische Interaktion
$59.99
Moral Certainty and the Foundations of Morality
$109.99
Poetry and Class
$99.99
Dynamics in Logistics
$299.99
Kollektive Autor:innenschaft digital/analog
$79.99
Lehren an der Hochschule
$29.99
The Political and Social Thought of Kwame Nkrumah
$109.99
ISO Science Legacy
$129.00
