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
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
