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 presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.
Reviews
Questions & Answers
Strategies for Supporting Inclusion and Diversity in the Academy
$169.99
Physiologie des Menschen
$84.99
Information Systems, E-learning, and Knowledge Management Research
$109.99
Rethinking Chicana/o and Latina/o Popular Culture
$54.99
Einfhrung in die PLL-Technik
$79.99
Risssystem und Festigkeit der geschnittenen Kante von Floatglas
$59.99
The Legacy and Impact of German Unification
$159.99
Immobilienleasing und Steuern
$49.99
Austerity & Democracy in Athens
$79.99
Self-Organizing Architectures
$39.99
The Politics of Women and Migration in the Global South
$59.99
Monetary Policy in Europe after Maastricht
$169.99
Estuaries and Nutrients
$199.99
Complex Systems: Solutions and Challenges in Economics, Management and Engineering
$219.99
Lieferserviceorientierte Distributionslogistik
$49.99
The Development Dilemma
$109.99
Cutaneous Atlas of Ex Vivo Confocal Microscopy
$249.99
Inter-Municipal Cooperation in Europe
$84.99
Media, Memory, and Human Rights in Chile
$39.99
Animal Homing
$169.00
Collaborative Economy and Tourism
$149.00
Analysis and Design of Resilient VLSI Circuits
$89.00
Spatial Inequalities
$84.99
Secondary Emission and Structural Properties of Solids
$39.99
Skin Diseases in the Immunosuppressed
$129.99
Bilder der Arbeit
$89.99
Integrating Advanced Technology into Technology Education
$84.99
Software Engineering 3
$84.99
Medizinische Didaktik
$69.99
Random Discrete Structures
$129.00
Differential Geometry
$44.99
Creep in Structures 1970
$109.99
Weltwirtschaftlicher Stand und Aufgaben der Elektroindustrie
$44.99
Human Computer Systems Interaction: Backgrounds and Applications 2
$219.99
Lieferantenrating
$84.99
Decolonizing African Studies Pedagogies
$84.99
Algorithms for Sensor Systems
$39.99
FITOR - Fragebogen zur individuellen, Team und organisationalen Resilienz
$119.99
Women, Globalization and Fragmentation in the Developing World
$109.99
I Can Do That! Cut and Paste
$11.99
