Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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

The Rare Earths in Modern Science and Technology

The Rare Earths in Modern Science and Technology

$39.99
Rechneruntersttzte Synthese ebener Kurbelgetriebe zur Erzeugung vorgegebener Bewegungsablufe in Ve

Rechneruntersttzte Synthese ebener Kurbelgetriebe zur Erzeugung vorgegebener Bewegungsablufe in Ve

$59.99
Early Phase Cancer Immunotherapy

Early Phase Cancer Immunotherapy

$169.99
Textual Studies in Ancient and Medieval Geometry

Textual Studies in Ancient and Medieval Geometry

$84.99
The Influence of Islamic Values on Management Practice

The Influence of Islamic Values on Management Practice

$54.99
Die wissenschaftliche Welt des Karl-Friedrich Bonhoeffer

Die wissenschaftliche Welt des Karl-Friedrich Bonhoeffer

$89.99
Depicting the Consumer of Experiential Luxury

Depicting the Consumer of Experiential Luxury

$99.99
Gang Transitions and Transformations in an International Context

Gang Transitions and Transformations in an International Context

$109.99
Cognitive Interference Management in Heterogeneous Networks

Cognitive Interference Management in Heterogeneous Networks

$54.99
Theory of Stochastic Canonical Equations

Theory of Stochastic Canonical Equations

$129.00
Schools of Thought

Schools of Thought

$219.99
Pet Rescue Adventures: A Puppy's First Christmas

Pet Rescue Adventures: A Puppy's First Christmas

$4.49
Social Science Research and Climate Change

Social Science Research and Climate Change

$84.99
Digitale Strategien in der Europischen Union

Digitale Strategien in der Europischen Union

$64.99
Human Centred Intelligent Systems

Human Centred Intelligent Systems

$299.99
Zivilisationswende

Zivilisationswende

$59.99
Bilateral Communication Between the Endocrine and Immune Systems

Bilateral Communication Between the Endocrine and Immune Systems

$39.99
Minnesota (A True Book: My United States)

Minnesota (A True Book: My United States)

$5.96
The Mind-Body Politic

The Mind-Body Politic

$79.99
Internationale Investitionsentscheidungen multinationaler Unternehmungen

Internationale Investitionsentscheidungen multinationaler Unternehmungen

$49.99
Membrane Computing

Membrane Computing

$54.99
Building Services and Energy Efficient Buildings

Building Services and Energy Efficient Buildings

$79.99
Eigenschaften und Eigenschaftsnderungen der Tonmineralien in Formsanden

Eigenschaften und Eigenschaftsnderungen der Tonmineralien in Formsanden

$54.99
New Findings on Aclarubicin in the Treatment of Acute Myeloid Leukemia

New Findings on Aclarubicin in the Treatment of Acute Myeloid Leukemia

$109.99
Queer Voices in Post-War Scotland

Queer Voices in Post-War Scotland

$99.99
Advanced X-Ray Radiation Detection:

Advanced X-Ray Radiation Detection:

$54.99
Humor und erfolgreiche Kinderfilme

Humor und erfolgreiche Kinderfilme

$74.99
Globalisation and Finance at the Crossroads

Globalisation and Finance at the Crossroads

$159.99
Computational Physics

Computational Physics

$59.99
Little Red Gliding Hood

Little Red Gliding Hood

$4.46
Recess Is a Jungle!: A Branches Book (Eerie Elementary #3)

Recess Is a Jungle!: A Branches Book (Eerie Elementary #3)

$5.24
Farmblock (An Abrams Block Book) by Christopher Franceschelli

Farmblock (An Abrams Block Book) by Christopher Franceschelli

$18.99
Discrete-Time Models for Communication Systems Including ATM

Discrete-Time Models for Communication Systems Including ATM

$129.00
Dimensions of Ring Theory

Dimensions of Ring Theory

$54.99
The Last Mapmaker

The Last Mapmaker

$6.71
Migration und Geschlechterverhltnisse

Migration und Geschlechterverhltnisse

$44.99
Algorithms and Dynamical Models for Communities and Reputation in Social Networks

Algorithms and Dynamical Models for Communities and Reputation in Social Networks

$109.99
EU Cohesion Policy Implementation - Evaluation Challenges and Opportunities

EU Cohesion Policy Implementation - Evaluation Challenges and Opportunities

$59.99
Ophthalmic Histopathology

Ophthalmic Histopathology

$74.99
Molecular Mechanisms of Programmed Cell Death

Molecular Mechanisms of Programmed Cell Death

$169.99
previous
next