Higher-Order Algebra, Logic, and Term Rewriting (English, Gilles Dowek | Jan Heering | Karl Meinke)
by Gilles Dowek | Jan Heering | Karl Meinke
Delivery options
Higher-Order Algebra, Logic, and Term Rewriting by Gilles Dowek | Jan Heering | Karl Meinke is listed under Science & Mathematics on BookBajar. Full details, specifications and reader reviews are below.
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
Reader's Guide
What This Book Covers
- ·The main subject matter of Higher-Order Algebra, Logic, and Term Rewriting
- ·Ideas and detail relevant to Science & Mathematics
- ·Context that helps make sense of the material as a whole
Best Suited For
Maths students and anyone who enjoys rigorous problem-solving.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
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 BookBajar. 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 BookBajar.
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 BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Higher-Order Algebra, Logic, and Term Rewriting?
Yes, BookBajar 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 BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Higher-Order Algebra, Logic, and Term Rewriting?
Higher-Order Algebra, Logic, and Term Rewriting can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Higher-Order Algebra, Logic, and Term Rewriting?
Higher-Order Algebra, Logic, and Term Rewriting has ISBN 9783540612544 (ISBN-10: 3540612548). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Higher-Order Algebra, Logic, and Term Rewriting?
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.
Product ID: isbn-9783540612544
🛒 Customers Also Bought
Local Algebra (English, Jean-Pierre Serre | C. W. Chin)
₹5,716
A Course In The Calculus Of Variations (English, Santambrogio | Filippo)
₹3,789
Geometry, Morphology, and Computational Imaging (English, Tetsuo Asano | Reinhard Klette | Christian Ronse)
₹5,602
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724
Characterizations of Probability Distributions. (English, Janos Galambos | Samuel Kotz)
₹2,512
The Molecular Genetics of Lung Cancer (English, David N. Cooper)
₹5,305Related Products
Quantum Thermodynamics (English, Jochen Gemmer | M. Michel | Günter Mahler)
₹4,357
Cosmic Ray Astrophysics (English, Reinhard Schlickeiser)
₹4,271
Applications of Wet-End Paper Chemistry (English, Ian Thorn | Che On Au)
₹4,859
Relativistic Astrophysics and Cosmology (English, Peter Hoyng)
₹5,663
Perceiving Geometry (English, Catherine Q. Howe | Dale Purves)
₹1,115