Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer Nature
SKU: 9783540695264
Availability: InStock

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

GTIN

9783540695264

Condition

New

Product Description

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997. The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

Available Colors

N/A

Available Sizes

N/A

Reviews

0 reviews

5 stars

4 stars

3 stars

2 stars

1 star

Questions & Answers

Similar Products

Paint By Sticker Kids: Zoo Animals

$7.55

The History of Physics in Cuba

$109.99

Biotechnics/Wastewater

$39.99

Macht der Unschuld

$64.99

Leukocyte Typing II

$84.99

Integrierte berwachungs- und Diagnosesysteme fr numerische Steuerungen

$59.99

Evaluation of Groundwater Resources on the Coral Islands of Lakshadweep, India

$54.99

45 Conversations About Behavioral Economics

$39.99

The Barrier Zones in the Ocean

$169.00

Niederlndische Sozialhilfe- und Arbeitsmarktpolitik

$59.99

Antibodies: Their structure and function

$109.99

Critical Perspectives on the Crisis of Global Governance

$54.99

Benchmarking, Measuring, and Optimizing

$39.99

Kongruenzklassengeometrien

$19.99

Scientific and Statistical Database Management

$109.99

Public Data Networks

$54.99

Making Globally Distributed Software Development a Success Story

$39.99

Room for Development

$109.99

Quotenkiller oder Qualittsfernsehen?

$74.99

Selenoproteins and Mimics

$129.00

Compiler Construction

$39.99

A Century of Homeopaths

$84.99

Advances in Renewable Energy & Electric Vehicles

$249.99

Healthy Heart, Healthy Brain - The Personalized Path to Protect Your Memory, Prevent Heart Attacks and Strokes, and Avoid Chronic Illness by Bradley B

$32.50