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
New Software Engineering Paradigm Based on Complexity Science
$169.00
Himalayan Thick-Skin Basement Deformation of the Ladakh Batholith, Leh-Ladakh Region, NW India
$169.99
Algebraic Number Theory
$54.99
Exploration und Exploitation in adoleszenten Unternehmen
$59.99
Reform and Development in Rural China
$129.00
America Responds to Terrorism
$39.99
Introducing Spoken Dialogue Systems into Intelligent Environments
$109.99
Social Psychology in Action
$89.99
The Numerical Solution of Differential-Algebraic Systems by Runge-Kutta Methods
$29.99
Holocaust Denial and the Law
$125.00
Quantitatives Entwicklungsmanagement
$64.99
Discourse, Power, and Resistance Down Under
$49.99
Deep Reinforcement Learning in Unity
$59.99
Quadratic Forms in Infinite Dimensional Vector Spaces
$54.99
White Fox: White Fox
$5.99
Bodenkunde
$64.99
Pulver und Schttgter
$74.99
Doing Diaspora
$49.99
PID Controllers for Time-Delay Systems
$109.99
Sustainable Tourism Contracts
$99.99
Adaptive Filtering
$129.99
Fundamentals of X Programming
$39.99
Lebenslaufanalysen
$49.99
Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living
$54.99
Social Institutions and Economic Development
$84.99
Products of Automata
$39.99
Green Internet of Things Sensor Networks
$159.99
Contemporary Oral Oncology
$139.99
Fictional Leaders
$84.99
Resolving the Cyprus Conflict
$39.99
Atlas of 3D Transesophageal Echocardiography in Structural Heart Disease Interventions
$179.99
Power Grid Complexity
$169.00
Technology Transfer in Biotechnology
$259.00
Doing Care, Doing Citizenship
$139.99
The Design and Analysis of Computer Experiments
$119.00
Peer Support Services Reaching People with Schizophrenia
$99.00
Image Processing & Communications Challenges 6
$169.99
Crystallographic Methods and Protocols
$89.00
Spacecraft Structures
$229.00
Current Trends in Database Technology - EDBT 2006
$109.99
