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
Was ist Lean Six Sigma?
$39.99
Essential Python for the Physicist
$99.99
Transnational Outrage
$54.99
Language Hierarchies and Interfaces
$39.99
Simulated Evolution and Learning
$84.99
Generikasubstitution und Arzneimittelwettbewerb
$69.99
Information Reuse and Integration in Academia and Industry
$109.99
Free Will
$27.99
Advances in Additive Manufacturing and Metal Joining
$199.99
Vorsichtsprinzip und Pensionsrckstellungen
$59.99
Proceedings of the 2nd International Conference on Mechanical System Dynamics
$499.99
Physikochemische Grundlagen der Bildsamkeit von Kalken unter Einbeziehung des Begriffs der aktiven O
$59.99
Building Corporate IQ Moving the Energy Business from Smart to Genius
$84.99
Milk Goes to School
$5.96
Abiotic Stress Responses in Plants
$219.99
PQQ and Quinoproteins
$39.99
Mrz 1995, Hamburg
$59.99
Southern Hemisphere Paleo- and Neoclimates
$39.99
Management of Heart Failure
$159.00
Sustainable Agriculture Reviews 61
$159.99
Strategien in der Automobilindustrie
$39.99
The Nariokotome Homo Erectus Skeleton
$219.99
Getting Dialogic Teaching into Classrooms
$109.99
Recognition in International Relations
$54.99
Die Maregel der Sicherungsverwahrung
$119.99
Networks in Action
$39.99
The Science behind the COVID Pandemic and Healthcare Technology Solutions
$149.00
Transformations in Medieval and Early-Modern Rights Discourse
$169.99
Atemtherapie
$34.99
Proceedings of the International Conference on Paradigms of Computing, Communication and Data Scienc
$329.99
Fairy Tales and Fables from Weimar Days
$34.99
Prozedurale Programmierung
$44.99
The NIPS '17 Competition: Building Intelligent Systems
$54.99
Polyarenes II
$219.99
Green Business Process Management
$84.99
Coronal Physics from Radio and Space Observations
$39.99
Verhaltensorientiertes Innovationsmanagement
$59.99
Viral Diseases in Pregnancy
$84.99
Artificial Intelligence XXXIX
$84.99
Private World(s)
$49.99
