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
The Empty City Erin Hunter's Survivors Series 1 by Erin Hunter
$9.99
Facial Reconstruction of Unusual Facial Clefts
$169.99
Gigaseal Formation in Patch Clamping
$54.99
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Ap
$84.99
Constructing Mexico City
$39.99
Measuring the Value of Culture
$129.99
The Likelihood of Knowledge
$84.99
Advanced Control of Electrical Drives and Power Electronic Converters
$179.99
Quantitative Structure-Activity Relationships
$59.99
Principles of Practical Tectonic Analysis of Cratonic Regions
$39.99
HPV and Cancer
$169.99
Von der Industrie 4.0 zum Geschftsmodell 4.0
$17.99
Learning Abdominal Imaging
$54.99
Coleridge's Writings
$54.99
Personalization in Gynecologic Oncology
$89.99
The Expression of Emotion in the Visual Arts: A Philosophical Inquiry
$54.99
Muslim-Christian Dialogue in Post-Colonial Northern Nigeria
$109.99
Strategies and Tools for a Sustainable Rural Rio de Janeiro
$129.00
The Quantum Hall Effect
$54.99
Brain, Mind and Consciousness
$84.99
Mesoscale Meteorology and Forecasting
$59.99
Chinas RuralUrban Inequality in the Countryside
$99.00
Lagerungen
$159.99
Partnerschaftsprobleme: Diagnose und Therapie
$69.99
Bessel Polynomials
$29.99
Decolonizing the Body of Christ
$39.99
Psychiatric Diagnosis
$129.00
Neural Information Processing
$109.99
Die Eingriffe bei den Bauchbrchen
$44.99
Forecasting and Hedging in the Foreign Exchange Markets
$39.99
Nonlinear Identification and Control
$84.99
List of Substances of the Competent Federal Government and Federal State Authorities
$39.99
Wirtschaftsprfung heute: Entwicklung oder Reform?
$69.99
Formal Techniques for Networked and Distributed Systems - FORTE 2002
$39.99
Stability and Control of Dynamical Systems with Applications
$129.00
Der T-Faktor
$44.99
The Vernacular Spirit
$39.99
How Have I Grown?: 6-Book Set
$26.50
The Fundamentals of Global Governance
$54.99
Regulation and the Nature of Postal and Delivery Services
$169.99
