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
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
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

Betriebliche Weiterbildung als Fhrungsaufgabe

$64.99

Geoinformatics in Sustainable Ecosystem and Society

$54.99

Chirurgische Anatomie und Operationstechnik des Zentralnervensystems

$69.99

Averting Global War

$54.99

Research Ethics in the Arab Region

$109.99

Algorithms and Discrete Applied Mathematics

$54.99

Ultrasonoscopic Differential Diagnosis in Obstetrics and Gynecology / Echoskopische Differential-Dia

$54.99

Toxic Economic Theory, Fraudulent Accounting Standards, and the Bankruptcy of Economic Policy

$54.99

ber Probleme des Wasserstrahlantriebs

$49.99

Foams and Emulsions

$449.99

Drinking Water Minerals and Mineral Balance

$79.99

Symmetric Markov Processes

$44.99

Beginning Adobe Experience Design

$54.99

Die klimatischen Grenzen des Ackerbaus

$49.99

Computational Methods in Synthetic Biology

$219.99

Business Information Technology Management

$109.99

Elementar(st)e Gruppentheorie

$14.99

Der Jahresabschluss - eine praxisorientierte Einfhrung

$29.99

A Practical Guide to Breast Cancer Treatment

$179.99

Rationality, Representation, and Race

$39.99

Press Freedom as an International Human Right

$39.99

Pout-Pout Fish: Haunted House

$3.71

Political Epistemology

$99.99

Nanotechnology in Construction

$379.99

Dermatologische Reaktionen bei onkologischen Therapien

$24.99

Active Implants and Scaffolds for Tissue Regeneration

$129.00

R. S. Thomas: Poet of the Hidden God

$109.99

Association Between Lignin and Carbohydrates in Wood and Other Plant Tissues

$219.99

Die Symbolik der Lwenjagd

$59.99

LC-MS/MS in Proteomics

$89.00

Clifford va a kindergarten

$2.99

Epidemiology of Arterial Blood Pressure

$54.99

New Technologies, Development and Application V

$219.00

Mikrofluidische Separationsverfahren und -systeme

$29.99

Philosophical Logic and Logical Philosophy

$109.99

Proceedings of the 18th Online World Conference on Soft Computing in Industrial Applications (WSC18)

$169.99

Deep As The Sky, Red As The Sea by Rita Chang-Eppig

$28.99

Recent Progress on Kinins

$54.99

Hormones and Reproduction in Fishes, Amphibians, and Reptiles

$109.00

International Socialization in Europe

$54.99