Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540488033
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Chest Imaging

$39.99

Modern Modalities

$219.00

Schwerbehindertenrecht, Begutachtung und Praxis

$69.99

Statistik-Praktikum mit Excel

$39.99

Critical Adult Education in Food Movements

$129.99

Myths of Renaissance Individualism

$54.99

Das einzigartige Unternehmen

$39.99

Untersuchungen zur Verbesserung der Hitzebestndigkeit von Polyamidfasern

$59.99

Asian Organized Crime and the Anglosphere

$119.99

Online-Mediation

$39.99

Information Security Practice and Experience

$39.99

Sprite's Secret

$5.24

Einkauf und Supply Chain Management

$49.99

Faktoren des verlsslichen Handelns

$69.99

Number Theory and Modular Forms

$109.99

Leaders in Social Education

$49.99

Process Simulation and Optimization in Sustainable Logistics and Manufacturing

$109.99

Open Source Systems: Grounding Research

$109.99

Strategic Management Accounting, Volume I

$69.99

Advances in Superconductivity II

$169.99

Neuropsychotherapy and Community Integration

$169.99

Vertigo Rehabilitation Protocols

$119.99

Bilanzanalyse

$59.99

Information Security and Cryptology - ICISC 2001

$39.99

Hypospadias Surgery

$159.99

Collected Papers II

$129.00

The Coral Reef Era: From Discovery to Decline

$109.99

Mathematischer Einfhrungskurs fr die Physik

$49.99

Smart City 360

$54.99

Crisis, Austerity, and Everyday Life

$39.99

The Soviet Union and the Politics of Nuclear Weapons in Europe, 196987

$54.99

Quantum Decision Theory and Complexity Modelling in Economics and Public Policy

$199.99

Pelvic Ring Fractures

$179.99

Advanced Energy Saving and its Applications in Industry

$54.99

Flexible Gestaltung des Analyseprozesses technischer Probleme mit TRIZ-Werkzeugen

$79.99

Cloud Computing and Big Data

$54.99

Wastewater Treatment in Constructed Wetlands with Horizontal Sub-Surface Flow

$219.99

Mechanics of Fracture Initiation and Propagation

$169.99

Atmospheric Ozone

$84.99

Mutation Breeding in Coffee with Special Reference to Leaf Rust

$59.99