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

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove".

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

Governance in the Developing World

$159.99

Economic Government of the EU

$54.99

Integer Programming and Combinatorial Optimization

$39.99

Psychologie Digital

$74.99

Physics and Metaphysics of Music and Essays on the Philosophy of Mathematics

$39.99

ber den Zusammenhang Zwischen Rntgenstrahlungs-Ausbrchen in der Polarlichtzone und Bayartigen Erd

$59.99

Kindler Kompakt: Russische Literatur 20. Jahrhundert

$19.99

Walker Percy, Philosopher

$119.99

23. Hmophilie-Symposion

$69.99

Hybrid Latex Particles

$329.99

Equity in the Classroom

$14.24

Aus der Arbeit der Universitt 1946/47

$59.99

Image Transfer Through a Scattering

$109.99

The Great Debt Transformation

$54.99

Toll-like Receptors: Roles in Infection and Neuropathology

$169.99

Vermessungskunde

$84.99

Handbuch Spezielle Soziologien

$109.00

Physical Design and Mask Synthesis for Directed Self-Assembly Lithography

$109.99

Working Women and State Policies in Taiwan

$109.99

Antiseptic Stewardship

$229.00

Informations-management

$54.99

Digital Science 2019

$169.00

Klinische Rntgendiagnostik des Verdauungskanals

$59.99

The Epic Tales of Captain Underpants: The Maniacal Mischief of the Marauding Monsters

$5.99

Ein Dyopolmodell mit Gleichgewichtslsungen

$69.99

Bioinformatics for Cancer Immunotherapy

$99.00

Biogeochemical Cycle of Mercury in Reservoir Systems in Wujiang River Basin, Southwest China

$169.99

Liebesklnge und andere ausgewhlte Lyrik-Manuskripte des jungen Frank Wedekind

$24.99

Peritoneal Surface Malignancies

$54.99

The Ecology and Natural History of Chilean Saltmarshes

$169.99

Der Einflu menschlicher Tumorseren auf das Wachstum pflanzlicher Zellen

$54.99

Meiosis

$109.99

Angewandte Psychologie

$34.99

Praxiseinschtzungen zur Nachhaltigkeit in der Bankenbranche

$17.99

Metabolism in the Nervous System

$54.99

Requirements Engineering in the Big Data Era

$54.99

Bericht ber das Jahr 1953

$59.99

Social Movements and Symbolic Power

$54.99

Die Hauptprobleme der Modernen Astronomie

$59.99

The Dawn of Massively Parallel Processing in Meteorology

$39.99