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
9783540488033
Condition
New
Product Description

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

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

Similar Products

Church Advertising, Public Relations and Marketing in Twentieth-Century America

$139.99

Knstler als Agents of Change

$74.99

Biosynthesis

$39.99

China and the Global Political Economy

$109.99

Federalism and Decentralization in Africa

$109.99

Advances in Human Factors in Robots, Drones and Unmanned Systems

$249.99

The Public Understanding of Political Integrity

$54.99

The Statesman's Year-Book 1994-95

$54.99

Australian Sociology

$39.99

A Textbook of Robotics 2

$109.99

Kinderwelten aus Elternsicht

$59.99

Impetus and Equipoise in the Life-Strategies of Reason

$219.99

Flexibility, Resilience and Sustainability

$139.00

Change and Development in the Gulf

$109.99

Cannibalism in Literature and Film

$54.99

Qualittsmanagement in der Assekuranz

$59.99

Viva Frida

$4.49

Rising Voices Library: Celebrating Girls of Color, Grade K

$634.95

Social Justice and Deep Participation

$54.99

Applications of Radiation Chemistry in the Fields of Industry, Biotechnology and Environment

$349.00

Qu pueden hacer?

$3.71

Computer Aided Proofs in Analysis

$39.99

Solar Composition and its Evolution from Core to Corona

$189.00

Power System Flexibility

$169.99

Advances in Human Aspects of Transportation

$279.99

Teaching Crime Fiction

$59.99

Plurality and Continuity

$109.99

Higher Education in Societies

$49.99

Digitale Lernwelten

$39.99

Umweltschutz in unternehmerischen Entscheidungen

$59.99

Modellierung von OLAP- und Data-Warehouse-Systemen

$74.99

Flower Development

$169.99

A. E. Housman

$54.99

Abwasserrecycling: Technologien und Prozesswassermanagement

$74.99

Human Factors in Tourism: A Layperson's Approach

$89.99

Natural Language Processingfor Social Media

$99.99

Predictive Analytics with Microsoft Azure Machine Learning

$34.99

Bacterial Cell Wall Homeostasis

$84.99

Sexualleben und Nervenleiden

$49.99

Cutting-Edge Business Technologies in the Big Data Era

$219.99