Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications
Brand: Springer Nature
SKU: 9783540447849
Availability: InStock

Best Price (Coupon Required):
Buy Higher Order Logic Theorem Proving and Its Applications 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

9783540447849

Condition

New

Product Description

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

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

Philosophical Problems of Space and Time

$499.99

Christianity in Britain Since 1914

$159.99

Britain, Turkey and the Soviet Union, 194045

$39.99

Konstruktion fr die Additive Fertigung 2019

$109.00

Immobilien Asset Management

$69.99

Java 6 Platform Revealed

$29.99

MotionCast for Mobile Wireless Networks

$34.99

Beyond Just War

$39.99

Man within His Life-World

$259.00

Orchids as Aphrodisiac, Medicine or Food

$49.99

Die Groberliner Stadtentwsserung

$44.99

1,500 Color Mixing Recipes for Oil, Acrylic & Watercolor - Achieve Precise Color When Painting Landscapes, Portraits, Still Lifes, and More by William

$24.99

Industrial Organization, Antitrust, and Public Policy

$84.99

Die Groe Erneuerung

$49.99

Handbook of African American Health

$109.99

Staatsbegriff und Demokratie in Deutschland

$54.99

Rethinking Education for Social Cohesion

$54.99

Initiating, Managing and Sustaining Strategic Change

$109.99

From Aspirin to Viagra

$29.99

Gentrification and Diversity

$169.99

Communication Technologies for Vehicles

$39.99

Geostatistik in der Baugrundmodellierung

$69.99

New York Cocktails- An Elegant Collection of over 100 Recipes Inspired by the Big Apple (Travel Cookbooks, Nyc Cocktails and Drinks, History of Cockta

$22.95