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
35th Hemophilia Symposium Hamburg 2004
$129.00
Professionelles Imaging
$44.99
Implementing Distributed Systems with Java and CORBA
$54.99
Educational Data Mining
$169.99
The Failure of British Fascism
$109.99
Proceedings of the Twenty-Fifth Symposium on Biotechnology for Fuels and Chemicals Held May 47, 200
$219.99
ICT Systems Security and Privacy Protection
$89.00
Uterine and Embryonic Factors in Early Pregnancy
$39.99
Post-Agreement Northern Irish Literature
$99.99
The Presidentialisation of Political Parties in the Western Balkans
$54.99
Industrial Craft in Australia
$99.00
Beyond Smart Cities
$169.99
Tennessee (A True Book: My United States)
$5.96
Ordinary People Change the World: I am Harriet Tubman
$4.46
Unfallursachenforschung
$69.99
Statistische und numerische Methoden der Datenanalyse
$59.99
Frhwarnindikatoren und Krisenfrhaufklrung
$79.99
Essentials of Cemented Knee Arthroplasty
$139.99
Kundenwert in Banken und Sparkassen
$34.99
Untersuchungen ber den postmortalen Abbau des Leberglykogens nach knstlicher Anreicherung
$54.99
The German Communists and the Rise of Nazism
$169.99
Accountability and the Public Interest in Broadcasting
$54.99
Prekre Intimitt
$59.99
Extracellular Vesicles in Cardiovascular and Metabolic Diseases
$169.99
Constructions of Remembering and Metacognition
$54.99
Die Welt der Sinne
$29.99
Mevlevi Manuscripts, 1268c. 1400
$34.99
Device-to-Device Communications in Cellular Networks
$54.99
Labor and Employment Relations in a Globalized World
$109.99
The Irregular Pendulum of Democracy
$109.00
KiloCoachTM
$29.99
Parent-Child Separation
$179.99
IT-Prfung, Datenschutzaudit und Kennzahlen fr die Sicherheit
$39.99
Trends in British Society since 1900
$39.99
Electron Spin Resonance Spectrometers
$54.99
Grundlagen der Mikrobiologie
$29.99
Zur Frbung anionisch modifizierter Polyamidfasern mit kationischen Farbstoffen
$59.99
Ich lerne wie ein Zombie
$29.99
ULF Pulsations in the Magnetosphere
$54.99
Operating Systems and Services
$109.99
