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:
Buy Higher Order Logic Theorem Proving and Its Applications for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Der Immobilien-Investmentmarkt
$17.99
Memory Controllers for Mixed-Time-Criticality Systems
$109.99
The Gold Cartel
$99.99
Lead Market India
$109.99
Statik des Tunnel- und Stollenbaues
$59.99
Transfusionsmedizin
$54.99
Olympia, Das Fest und Seine Sttte
$49.99
Stochastic Narrow Escape in Molecular and Cellular Biology
$109.99
Critical Discourse Analysis and Cognitive Science
$54.99
The Geometrical Work of Girard Desargues
$89.99
The Move Beyond Form
$54.99
Proceedings of the 7th International Conference on Emerging Databases
$129.00
Night Night Farm by Roger Priddy
$9.99
Herbert C. Kelman: A Pioneer in the Social Psychology of Conflict Analysis and Resolution
$109.99
Epigenetic Mechanisms of Cell Programming and Reprogramming
$119.99
Topics in Combinatorial Optimization
$54.99
Computational Toxicology
$89.00
Academia-Business Links
$109.99
Laminated Composite Plates and Shells
$129.00
States-Within-States
$39.99
Believable Bots
$109.99
Software Process Improvement and Capability Determination
$39.99
Controlling-Konzeptionen
$17.99
Untersuchungen ber die Genauigkeit von Kegelradverzahnmaschinen und Kegelradgetrieben
$44.99
Werbestrategien fr Produktneueinfhrungen im Lebensmittelbereich
$64.99
Experimental Pragmatics
$84.99
Public Goods, Environmental Externalities and Fiscal Competition
$169.99
Principles of Electrical Neural Interfacing
$49.99
Climate Change and Environmental Impacts: Past, Present and Future Perspective
$169.99
Young Professionals gewinnen, halten, weiterentwickeln
$44.99
Proceedings of the First European Astronomical Meeting Athens, September 49, 1972
$109.99
Algorithmic Game Theory
$59.99
Pathways to Alternative Epistemologies in Africa
$139.99
The Weil representation, Maslov index and Theta series
$54.99
Survival Guide for Early Career Researchers
$99.99
Recent Advancements in Biomarkers and Early Detection of Gastrointestinal Cancers
$109.99
Ceramic Injection Molding
$329.99
Dangerous Bodies
$74.99
Group Technology and Cellular Manufacturing
$219.99
Vector Calculus
$29.99
