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.
Product ID: isbn-9783540612544
🛒 Customers Also Bought
Kompetenzen Für Supply Chain Manager (English, Thomas Rudolph | Randy Drenth | Niklas Meise)
₹3,508
Fallrepetitorium Familien- Und Erbrecht (English, Anne Röthel)
₹1,791
Un Universo Comprensibile (English, George V. Coyne | Michael Heller)
₹3,009
Financial Mathematics (English, Bruno Biais | Wolfgang J. Runggaldier | Thomas Björk)
₹5,045
Annegamento Soccorso Tecnico E Sanitario (English, Elvia Battaglia | Alessio Baghin)
₹5,579
Valproinsäure (English, Günter Krämer | J. Walden)
₹3,873Related Products
Extemporaneous Ophthalmic Preparations (English, Eman Alghamdi | Abdulmalik Yahya Al Qahtani | Mazen M. Sinjab)
₹5,737
Robotik (English, Hans-Jürgen Siegert | Siegfried Bocionek)
₹2,779
Betriebswirtschaftliche Praxisführung Für Ärzte (English, K. Ahlers | Helmut Börkircher | H. Cox)
₹4,237
Kurze Geschichte Der Chirurgie (English, Walter V. Brunn)
₹2,269
Psychiatrie Und Psychotherapie (English, H. Berger | Horst Dilling | Christian Reimer)
₹5,030