Copied Higher-Order Algebra, Logic, and Term Rewriting
Higher-Order Algebra, Logic, and Term Rewriting
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.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
