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.
0 Reviews
Set a price drop alert to never miss an offer.
1 Offer
Price Range: $39.99 - $39.99
BEST PRICE
Single Product Purchase
$36.00
@ Link.springer.com
with extra coupon
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
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