✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
Higher-Order Algebra, Logic, and Term Rewriting (English, Gilles Dowek | Jan Heering | Karl Meinke) - Image 1 - GlowMirror

Higher-Order Algebra, Logic, and Term Rewriting (English, Gilles Dowek | Jan Heering | Karl Meinke)

by Gilles Dowek | Jan Heering | Karl Meinke

Delivery options

₹5,586
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days

Available Offers

Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.

15-Day Easy Returns — hassle-free return & full refund.

Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.

Total: ₹5,586

Book Details

Publisher
Springer
Language
English
ISBN-13
9783540612544
ISBN-10
3540612548
Author
Gilles Dowek | Jan Heering | Karl Meinke

About the Book

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…

ISBN: 9783540612544

ISBN-13: 9783540612544
ISBN-10: 3540612548

Frequently Asked Questions

What is the price of Higher-Order Algebra, Logic, and Term Rewriting?
Higher-Order Algebra, Logic, and Term Rewriting starts from ₹5586 at GlowMirror. Available in Paperback.
Who is the author of Higher-Order Algebra, Logic, and Term Rewriting?
Gilles Dowek | Jan Heering | Karl Meinke is the author of Higher-Order Algebra, Logic, and Term Rewriting. Browse more books by Gilles Dowek | Jan Heering | Karl Meinke on GlowMirror.
Is Higher-Order Algebra, Logic, and Term Rewriting available in Paperback and Hardcover?
Yes, Higher-Order Algebra, Logic, and Term Rewriting is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Higher-Order Algebra, Logic, and Term Rewriting?
Yes, GlowMirror offers free delivery for Higher-Order Algebra, Logic, and Term Rewriting across India. No minimum order value required.
Is Cash on Delivery available for Higher-Order Algebra, Logic, and Term Rewriting?
Yes, Cash on Delivery (COD) is available for Higher-Order Algebra, Logic, and Term Rewriting on GlowMirror. You can pay when your order is delivered.
ISBN-10: 3540612548. ISBN-13: 9783540612544. Higher-Order Algebra, Logic, and Term Rewriting (English, Gilles Dowek | Jan Heering | Karl Meinke) by Gilles Dowek | Jan Heering | Karl Meinke. Available on GlowMirror.
Product ID: isbn-9783540612544