Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Higher-Order Algebra, Logic, and Term Rewriting
Best Price (Coupon Required):
Buy Higher-Order Algebra, Logic, and Term Rewriting for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Economics of the U.S. Commercial Airline Industry: Productivity, Technology and Deregulation
$169.99
Wiki
$54.99
Current Trends in Web Engineering
$69.99
Principles of Cancer Genetics
$119.99
Management of Breast Cancer in Older Women
$139.99
Contested Energy Spaces
$39.99
Alexander von Humboldt: Politischer Versuch ber die Insel Kuba
$39.99
Aufwandsschtzungen in der Software- und Systementwicklung kompakt
$19.99
Grenzgeschwindigkeiten und ihre Paradoxa
$44.99
Wortbildungsstrukturen als Wegweiser beim Dekodieren
$64.99
Designing Evolutionary Algorithms for Dynamic Environments
$54.99
Innovationswettbewerbe und Incentives
$17.99
Non-State Actors and Terrorism
$54.99
Practicing Enterprise Governance and Enterprise Engineering
$99.99
Advances in Dependability Engineering of Complex Systems
$129.00
Functionalized Redox Systems
$109.99
Heterogeneous Kinetics at Elevated Temperatures
$109.99
Operations Research Proceedings 2012
$219.99
Halophytes: An Integrative Anatomical Study
$129.00
The Future of Asylum in the European Union
$79.99
The Skill of End-of-Life Communication for Clinicians
$79.99
The Pharmacology of Taste
$169.99
Fundamentals of Pediatric Drug Dosing
$149.00
Mutational and Morphological Analysis
$109.99
The Development of Defense Mechanisms
$99.00
Grundkurs Java-Technologien
$39.99
Algorithms ESA 2005
$109.99
Thermal Signatures of Heat Transfer Processes in the Earths Crust
$74.99
Datenfernbertragung
$59.99
The Avar Siege of Constantinople in 626
$119.99
Grundlagen der elektrischen Nachrichtenbertragung
$74.99
Transparency and Accountability in Science and Politics
$54.99
Verlockungen und Gefahren der Schattenwirtschaft
$54.99
Pennies for Elephants
$5.21
Information Theory and Quantum Physics
$84.99
Fortschritte der Praktischen Dermatologie und Venerologie
$44.99
Automatisierte berwachungsverfahren fr Fertigungseinrichtungen mit speicherprogrammierten Steuerun
$69.99
Urolithiasis and Related Clinical Research
$54.99
Hardware-Software Co-Synthesis of Distributed Embedded Systems
$109.99
Models and Inferences in Science
$109.99
