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
Higher Order Logic Theorem Proving and Its Applications
Best Price (Coupon Required):
Buy Higher Order Logic Theorem Proving and Its Applications 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 volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove".
Reviews
Questions & Answers
Annual Report on Chinas Petroleum, Gas and New Energy Industry (2021)
$149.00
Quartiersforschung
$49.99
Formal Methods for Industrial Critical Systems
$39.99
Ultra-Low-Power and Ultra-Low-Cost Short-Range Wireless Receivers in Nanoscale CMOS
$39.99
Complex Event Processing
$17.99
Experiential Therapy from Trauma to Post-traumatic Growth
$109.99
Advancing the Technology of Bileaflet Mechanical Heart Valves
$109.99
Information Security and Cryptology - ICISC 2014
$39.99
Solar and Interplanetary Dynamics
$54.99
Skin Colour Politics
$89.99
Big Data Privacy Preservation for Cyber-Physical Systems
$54.99
Here in the Real World
$7.46
Finite Element Systems
$74.99
Gefgekunde der Gesteine
$59.99
Nutritional Health
$219.99
Converging Clinical and Engineering Research on Neurorehabilitation II
$549.99
Nachhaltige Nutzung von Wrmeenergie
$59.99
Advances in National Brand and Private Label Marketing
$109.99
Youth in Society
$109.99
BrainComputer Interfaces
$54.99
The Macmillan Dictionary of Biography
$19.99
Confrence Mosh Flato 1999
$109.99
Metacolloids in Endogenic Deposits
$54.99
Gesetz und Recht im Krankenhaus
$44.99
Human Computer Interaction, Tourism and Cultural Heritage
$54.99
Applications of Artificial Intelligence in Engineering VI
$54.99
Effect of Spaceflight and Spaceflight Analogue Culture on Human and Microbial Cells
$169.99
Monte-Carlo Simulation-Based Statistical Modeling
$139.99
Poetics of Prose
$59.99
Adaptive Signal Models
$169.99
Macroeconomic Analysis and Parametric Control of a National Economy
$109.99
Software Languages
$84.99
Energy Efficient Servers
$39.99
Numerical Methods of Approximation Theory, Vol. 7 / Numerische Methoden der Approximationstheorie, B
$39.99
Beyond WEIRD: Psychobiography in Times of Transcultural and Transdisciplinary Perspectives
$169.99
Economics of Wage Controls
$44.99
Innovation Design
$129.99
Political (Re)Turn?
$44.99
The Duke of Portland
$84.99
Computational Thinking
$54.99
