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

Heine- Jahrbuch 2001

$19.99

Foreign Gene Expression in Fission Yeast: Schizosaccharomyces pombe

$129.00

Investing in Information

$69.99

Graphs and Charts

$74.99

Verhaltensorientierte Fhrung

$29.99

Innovative Produktpolitik

$64.99

Towards the rational use of high salinity tolerant plants

$329.99

Klassische ganzheitliche Wachstumstheorie

$49.99

Zum Begriff des exponentiellen Wachstums

$39.99

Neuropsychology

$39.99

Massenmedien und Internet

$49.99

Betriebswirtschaftliche Nutzeffekte der Datenverarbeitung

$69.99

Cell Membrane Transport

$219.99

Information Technology in Pharmacy

$109.99

Molecular Genetics of Axial Patterning, Growth and Disease in Drosophila Eye

$169.99

Die urbanen Wurzeln der Mafia

$29.99

Boundary Control and Boundary Variations

$39.99

Application-Driven Architecture Synthesis

$129.00

Kryptogamen 1

$99.99

Antidepressants

$219.99

Maintenance Scheduling in Restructured Power Systems

$129.00

Kaiser Wilhelm 17971877

$59.99

Advances in Thermal Engineering, Manufacturing, and Production Management

$219.99

Exploring the Strategy Space of Negotiating Agents

$109.99

Dreams

$109.99

Terahertz Frequency Detection and Identification of Materials and Objects

$219.99

NUMISHEET 2022

$329.99

Diversity and Biotechnology of Extremophilic Microorganisms from India

$139.00

Community-Based Forest Management (CBFM) in Bangladesh

$84.99

Die Crescentialegende in der Deutschen Dichtung des Mittelalters

$79.99

Brustwirbelsulenerkrankungen Engpasyndrome, Chemonukleolyse, Evozierte Potentiale

$54.99

Ford Madox Ford and the Misfit Moderns

$54.99

Heat Capacity and Thermal Expansion at Low Temperatures

$129.00

Avidin-Biotin Interactions

$109.99

Soziale Lagen im bergang

$59.99

General Systems Theory

$129.00

Johannes Kepler

$79.99

Innovation in Production

$54.99

Marine Hard Bottom Communities

$279.99

Soft Power and Freedom under the Coalition

$39.99