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
Mining Over Air: Wireless Communication Networks Analytics
$84.99
Neuronal Recognition
$39.99
Archaeological Human Remains
$54.99
Betriebsorganisation in Buchdruckereien
$54.99
Controlling internationaler strategischer Allianzen
$49.99
IRM Directory of Statistics of International Investment and Production
$129.00
A Century of Fluid Mechanics in The Netherlands
$44.99
The Decolonial Turn in Media Studies in Africa and the Global South
$109.99
Steps to Improved Firm Performance with Business Process Management
$54.99
Mobile Multimedia Communications
$39.99
Health Monitoring and Personalized Feedback using Multimedia Data
$109.99
Programming Languages and Systems
$54.99
Cinnamon
$199.99
Das Fhrungsteam
$69.99
Applications of Fuzzy Sets to Systems Analysis
$54.99
Relationship Banking
$34.99
Vergngter Protest
$44.99
Internationalisierung und Unternehmenserfolg
$59.99
Deutschland im Wandel
$59.99
Case-based Atlas of Cardiac Imaging
$259.00
Advances in Automatic Control
$129.00
Tierexperimentelle Untersuchungen ber die Alkoholwirkungen auf Erregbarkeit und bioelektrische Spon
$59.99
Lehrbuch der Ohren-, Nasen- und Kehlkopf-Krankheiten
$59.99
Klimawandel hautnah
$19.99
Late Sequelae in Oncology
$109.99
Die kolorimetrische und potentiometrische pH-Bestimmung
$59.99
Alternatives Vertragsverhltnis mit Immobilienmaklern
$69.99
Theory and Applications of Models of Computation
$39.99
Governments and Marriage Education Policy
$54.99
Asset Allocation Strategies for Mutual Funds
$129.00
Invasive Bladder Cancer
$84.99
e-Infrastructure and e-Services for Developing Countries
$54.99
Die Grundlagen der Einsteinschen Gravitationstheorie
$59.99
Cellular and Molecular Biology of Myelination
$129.00
The Times They Are A Changin'
$54.99
Nanomaterials for Sustainable Development
$179.99
Robotic Sailing 2016
$169.99
Mobilitt und Gesundheit
$69.99
Encyclopedic Reference of Vascular Biology & Pathology
$84.99
Basic Texts in International Relations
$59.99
