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

Die Ausbildung in der Industrie nach der Check-Liste der Industrie- und Handelskammern

$69.99

Recent Advances in Aquaculture

$39.99

Diderots Politics

$109.99

Simulation and Synthesis in Medical Imaging

$59.99

Advanced Views in Primate Biology

$39.99

Sustainable Development for Central and Eastern Europe

$84.99

Handbook of Digital Homecare

$169.99

Waste to Biofuel Technology

$169.99

Kurt Gdel

$54.99

Rainwater Infiltration in Urban Areas

$129.99

Algorithms - ESA 2008

$149.00

Partial Differential Equations III

$54.99

Erinnerungen an Heinrich Curschmann

$59.99

Aktive Medienarbeit mit Jugendlichen

$44.99

Schnffelsucht und Schnfflerneuropathie

$69.99

Effective Public Administration Strategies for Global "New Normal"

$169.99

Commodities, Governance and Economic Development under Globalization

$84.99

Servants of the People

$54.99

Strange Bedfellows

$84.99

The Risks of Nuclear Energy Technology

$109.99

Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government

$129.00

Business Computing

$34.95

A Little Book about BIG Chemistry

$59.99

Seventh IUTAM Symposium on Laminar-Turbulent Transition

$259.00

Believe Me (Shatter Me Novella) by Tahereh Mafi

$15.99

Polymer Characterization Interdisciplinary Approaches

$54.99

Tele-Improvisation: Intercultural Interaction in the Online Global Music Jam Session

$109.99

Neuroscience and the Problem of Dual Use

$199.99

Grobritannien

$59.99

Cytokines: Interleukins and Their Receptors

$329.99

National Park Explorers: Yosemite

$3.71

Magnetic Orientation in Animals

$84.99

The Morphology and Pathogenicity of the Bladder Worms

$54.99

Autonomie und Familie

$74.99

Choosing the Correct Radiologic Test

$119.00

The History and Theory of Fetishism

$54.99

Multimedia Communications, Services and Security

$69.99

Biology of Rhodococcus

$149.00

Unternehmensgrndung und Dezentralitt

$59.99

Thrillers & Chillers Grades 6-9

$59.00