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 Algebra, Logic, and Term Rewriting

Higher-Order Algebra, Logic, and Term Rewriting

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540683896
Condition
New
Product Description

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995. The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

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

The Light in Hidden Places (Hardcover)

$14.24

Moderne Stahlgieerei fr Unterricht und Praxis

$59.99

Lineare Algebra

$74.99

Contradictory Muslims in the Literature of Medieval Iberian Christians

$119.99

Biogeochemistry of the Atmosphere, Ice and Water of the White Sea

$329.99

Computational Algebraic Geometry

$39.99

Systemgestaltung im Broadcast Engineering

$69.99

Vending Machine Book Collection Option 4

$1,512.95

Sustainable Operations Management

$109.99

Selected Papers of Norman Levinson

$219.99

Paarberatung und Paartherapie

$49.99

Dubbel Taschenbuch fr den Maschinenbau 2: Anwendungen

$69.99

Wings of Fire: Escaping Peril (#8)

$6.74

Multivariate Statistical Analysis

$109.99

A Proof Theory for General Unification

$54.99

Telekommunikation und multimediale Anwendungen der Informatik

$69.99

Economics in the Long View

$59.99

Jet Physics at the LHC

$139.99

Ambient Intelligence - Software and Applications

$169.99

Die Unternehmer-Elite

$44.99

Global Stock Markets

$54.99

Die Grenzgnge des Johann Sebastian Bach

$37.99

Charophytes of Europe

$249.99

Content Management integrierter Medienprodukte

$89.95

Dynamische Arrangements stdtischer Sicherheit

$49.99

Insulin-like Growth Factors and Cancer

$169.99

The Anglo-American Conception of the Rule of Law

$119.00

Sinnhaft fhren

$59.99

Rockglaciers

$109.99

The Colonial Public and the Parsi Stage

$89.00

Geo-Architecture and Landscape in Chinas Geographic and Historic Context

$54.99

Gastrointestinal Microbiology

$169.00

Brgermeister Curtius

$59.99

Intra-Operative Neuropathology for the Non-Neuropathologist

$109.00

Goethe. Die Schriften zur Naturwissenschaft (Leopoldina)

$199.99

Die Seehafenpolitik der Deutschen Eisenbahnen und die Rohstoffversorgung

$59.99

An Introduction to Quantum Stochastic Calculus

$84.99

The Economic Laws of Scientific Research

$89.99

Enterprise Interoperability VIII

$219.99

RNA-RNA Interactions

$109.99