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
Participatory Citizenship and Crisis in Contemporary Brazil
$44.99
Innovative Computing Vol 1 - Emerging Topics in Artificial Intelligence
$249.99
Oracle Core: Essential Internals for DBAs and Developers
$69.99
Financial Markets and Economic Performance
$49.99
Psychologische Schuldfhigkeitsbegutachtung bei sogenannter schwerer anderer seelischer Abartigkeit
$44.99
Masculinity and Male Homosexuality in Britain, 1861-1913
$89.00
Drug Resistance in Cancer Cells
$169.99
Stability Theory by Liapunovs Direct Method
$49.99
Emerging Technologies for Smart Cities
$84.99
River
$5.96
Sustainable Management of Nematodes in Agriculture, Vol.2: Role of Microbes-Assisted Strategies
$219.99
Psychopharmakologischer Leitfaden fr Psychologen und Psychotherapeuten
$44.99
The Emerging Consensus in Social Systems Theory
$169.99
Learn Raspberry Pi with Linux
$39.99
Nonlocal Quantum Field Theory and Stochastic Quantum Mechanics
$219.99
Climate Change and Technological Options
$109.99
Multilingual Literacies, Identities and Ideologies
$99.99
Pro Perl Parsing
$39.99
Politics and Culture: Working Hypotheses for a Post-Revolutionary Society
$44.99
Nanotheranostics
$109.99
Sonochemistry
$299.00
Statistical Modelling of Survival Data with Random Effects
$169.99
Raging against the Mass-Schooling Machine
$39.99
Elektrotechnische Mekunde
$54.99
Transcendentalism Overturned
$219.99
bungsbuch zur Numerischen Mathematik
$44.99
Mr. Wolf's Class: #5: Snow Day (Hardcover)
$18.74
Vertebrate Gas Exchange
$84.99
N-Oxidation of Drugs
$329.99
Managing Manufacturing Operations: Analysis and Discussion
$39.99
Innovative Statistical Methods for Public Health Data
$119.99
Distributed Computing and Networking
$109.99
Partizipation in der Wissensgesellschaft
$39.99
Python Continuous Integration and Delivery
$54.99
Prebiotics, Probiotics and Nutraceuticals
$169.99
International Organization
$54.99
Management mit Kennzahlen und Kennzahlensystemen
$74.99
Menschen, die gettet haben
$84.99
Corporate Restructuring
$99.99
The Language Question under Napoleon
$89.00
