Science & Mathematics
Higher-Order Algebra, Logic, and Term Rewriting (English, Gilles Dowek | Jan Heering | Karl Meinke)
₹5,586
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
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
Book Specifications
| ISBN-13 | 9783540612544 |
| ISBN-10 | 3540612548 |
| Publisher | Springer |
| Category | Science & Mathematics |
Frequently Asked Questions
What is the price of Higher-Order Algebra, Logic, and Term Rewriting?
Higher-Order Algebra, Logic, and Term Rewriting is available at ₹5,586 on BookShops.in.
Does BookShops.in offer free delivery for Higher-Order Algebra, Logic, and Term Rewriting?
FREE delivery on all orders for Higher-Order Algebra, Logic, and Term Rewriting.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Higher-Order Algebra, Logic, and Term Rewriting?
BookShops.in offers a 15-day hassle-free return policy for Higher-Order Algebra, Logic, and Term Rewriting. Contact us at [email protected] or call +91 81899 68108.
Is Higher-Order Algebra, Logic, and Term Rewriting authentic?
Higher-Order Algebra, Logic, and Term Rewriting is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Mathematics
Stereotype Spaces and Algebras: 73 (De Gruyter Expositions in Mathematics, 73)
₹5,013
Mathematics
Semigroups in Algebra, Geometry and Analysis: 20 (De Gruyter Expositions in Mathematics, 20)
₹5,131
Mathematics
Geometry from the Pacific Rim: Proceedings of the Pacific Rim Geometry Conference held at National University of Singapore, Republic of Singapore, ... 1994 (De Gruyter Proceedings in Mathematics)
₹5,511
Mathematics
First International Tainan-Moscow Algebra Workshop: Proceedings of the International Conference held at National Cheng Kung University Tainan, Taiwan, ... 1994 (De Gruyter Proceedings in Mathematics)
₹5,822
Mathematics
Differential Geometry - Proceedings of the VIII International Colloquium (English, Jesus A. Alvarez Lopez | Eduardo Garcia-Rio)
₹4,830
Mathematics
Mathematical Theory of Optimal Processes (Classics of Soviet Mathematics)
₹5,722
Related Products
View All
Science & Mathematics
Elements of Pelagos Biology: With Focus on the Mediterranean Sea
₹5,351
Science & Mathematics
Squid - Superconducting Quantum Interference Devices and Their Applications: Proceedings of the International Conference on Superconducting Quantum Devices, Berlin-west, October 4-8, 1976
₹5,328
Science & Mathematics
Thermodynamics and Pattern Formation in Biology
₹5,033
Science & Mathematics
The Nature of Mathematics and the Mathematics of Nature by S. Andersson – Mathematics & Science
₹5,786
Science & Mathematics
Linear Algebra | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg
₹4,953
Science & Mathematics
University Calculus | by Joel Hass | Christopher Heil | Maurice Weir | Pearson | by Joel Hass | Christopher Heil | Maurice Weir | Pearson | by Joel Hass | Christopher Heil | Maurice Weir | Pearson | by Joel Hass | Christopher Heil | Maurice Weir | Pearson | by Joel Hass | Christopher Heil | Maurice Weir | Pearson | by Joel Hass | Christopher Heil | Maurice Weir | Pearson | by Joel Hass | Christopher Heil | Maurice Weir | Pearson | by Joel Hass | Christopher Heil | Maurice Weir | Pearson | by Joe
₹4,388