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
Rebellious Feminism
$54.99
Analysis mit Maple
$39.99
Huntingtons Disease
$329.99
Krisenrhetorik und politischer Wandel in China
$79.99
Neuropsychologisches Befundsystem fr die Ergotherapie
$34.99
Harvard Project Manager 3.0
$44.99
Flugschriften Berlin
$59.99
Renewable Energy Resources and Conservation
$129.00
Der Brief des Kaufmanns
$59.99
Inverse Probleme
$24.99
Regulation of the Contractile Cycle in Smooth Muscle
$84.99
Innovative Saline Agriculture
$169.00
Handbook of Pathology and Pathophysiology of Cardiovascular Disease
$189.00
MultiMedia Modeling
$69.99
The Genetics of Coeliac Disease
$84.99
Handbook of Identity Theory and Research
$329.99
Techniques
$169.00
Social Work, Mental Health, and Public Policy in Diverse Contexts
$199.99
Synergy of Community Policing and Technology
$54.99
Accelerated Plant Breeding, Volume 3
$169.99
Personalmanagement
$34.99
Fhrung - Kreativitt - Innovation
$39.99
Lehrbuch fr orthopdische Hilfsarbeiterinnen
$69.95
Open Learning Cultures
$54.99
Practice-Oriented Research in Tertiary Mathematics Education
$149.00
Die Puerperale Wundinfektion
$59.99
e-Business und die Steuerung teilautonomer Organisationseinheiten
$59.99
The Regional Dimensions to Security
$54.99
The Evolved Athlete: A Guide for Elite Sport Enhancement
$109.99
Ausgewhlte Schriften zur Geschichte und Geschichtsschreibung
$79.99
Public Relations ohne Grenzen?
$59.99
Oxygen and the Evolution of Life
$84.99
Excel 2010 for Environmental Sciences Statistics
$54.99
Die Quantitative Elektrophorese in der Medizin
$59.99
The Political Economy of Collective Decision-Making
$109.99
Professionalisierung im Nonprofit Management
$49.99
Online-Kommunikation - Die Psychologie der neuen Medien fr die Berufspraxis: E-Mail, Website, Newsl
$69.99
Weiterentwicklung der Lageberichterstattung und ihrer Prfung
$79.99
Was ist Mathematik?
$99.99
Kunstlers in Paradise by Cathleen Schine
$27.99
