Breaking News!
Up to 30% Off Nike Footwear

Theorem Proving in Higher Order Logics

Best Price (Coupon Required):
Buy Theorem Proving in Higher Order Logics 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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
$39.99 $39.99

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

Product Details

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

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

New Conventional Weapons and East-West Security

New Conventional Weapons and East-West Security

$44.99
Tadpole - Who Helps?: Who Helps Animals?

Tadpole - Who Helps?: Who Helps Animals?

$5.21
The Physiology of the Lower Urinary Tract

The Physiology of the Lower Urinary Tract

$54.99
Senioren als Bankkunden

Senioren als Bankkunden

$59.99
The Moon

The Moon

$109.00
Natural Language Processing and Information Systems

Natural Language Processing and Information Systems

$54.99
Social Media and Strategic Communications

Social Media and Strategic Communications

$119.99
The Role of Competition in Economic Transition

The Role of Competition in Economic Transition

$84.99
Political Stability, Democracy and Agenda Dynamics in Turkey

Political Stability, Democracy and Agenda Dynamics in Turkey

$79.99
International Handbook of Student Experience in Elementary and Secondary School

International Handbook of Student Experience in Elementary and Secondary School

$329.99
Dermatologische Reaktionen bei onkologischen Therapien

Dermatologische Reaktionen bei onkologischen Therapien

$24.99
Gastrointestinal Oncology

Gastrointestinal Oncology

$329.99
Crisscrossing Borders in Literature of the American West

Crisscrossing Borders in Literature of the American West

$54.99
Distributed Computing and Internet Technology

Distributed Computing and Internet Technology

$109.99
Cross-National Innovation In Social Policy

Cross-National Innovation In Social Policy

$19.99
Naturally Occurring Antibodies (NAbs)

Naturally Occurring Antibodies (NAbs)

$169.99
Kognitive Systeme

Kognitive Systeme

$44.99
Enhancing Children's Rights

Enhancing Children's Rights

$54.99
Measurement of the Inclusive Jet Cross Section with the ATLAS Detector at the Hadron Collider

Measurement of the Inclusive Jet Cross Section with the ATLAS Detector at the Hadron Collider

$84.99
3D Manufacturing Innovation

3D Manufacturing Innovation

$109.99
Service-Oriented Computing

Service-Oriented Computing

$119.99
Program Evaluation in Language Education

Program Evaluation in Language Education

$109.99
Confectionery Packaging Equipment

Confectionery Packaging Equipment

$109.99
Evolutionary Finance

Evolutionary Finance

$84.99
Merging Processes in Galaxy Clusters

Merging Processes in Galaxy Clusters

$189.00
Protein Aggregation and Fibrillogenesis in Cerebral and Systemic Amyloid Disease

Protein Aggregation and Fibrillogenesis in Cerebral and Systemic Amyloid Disease

$219.99
Cultural Change and Persistence

Cultural Change and Persistence

$54.99
Biomimetic and Bioorganic Chemistry II

Biomimetic and Bioorganic Chemistry II

$39.99
Competition and Investment in Air Transport

Competition and Investment in Air Transport

$109.99
IEC 611313: Programming Industrial Automation Systems

IEC 611313: Programming Industrial Automation Systems

$74.99
Strategie und Innovation

Strategie und Innovation

$64.99
Semantic Breakthrough in Drug Discovery

Semantic Breakthrough in Drug Discovery

$29.99
Growth Curve and Structural Equation Modeling

Growth Curve and Structural Equation Modeling

$169.99
Chronometric Dating in Archaeology

Chronometric Dating in Archaeology

$129.00
Magnetic Properties of Paramagnetic Compounds, Magnetic Susceptibility Data, Volume 2

Magnetic Properties of Paramagnetic Compounds, Magnetic Susceptibility Data, Volume 2

$699.99
Die chemische Silikatanalyse

Die chemische Silikatanalyse

$49.99
Open Issues in European Central Banking

Open Issues in European Central Banking

$109.99
Public Speaking in the City

Public Speaking in the City

$54.99
Bacterial Adherence

Bacterial Adherence

$54.99
Graph Transformation

Graph Transformation

$54.99
previous
next