
Term Rewriting Systems (English, Jan Willem Klop | Roel de Vrijer | Terese)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | Cambridge University Press |
| Language | English |
| ISBN-13 | 9780521391153 |
| ISBN-10 | 0521391156 |
| Author | Jan Willem Klop | Roel de Vrijer | Terese |
Product Description
Here on GlowMirror, you'll find Term Rewriting Systems filed under Cambridge University Press -- everything you need to know is covered below.
About the Book
Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem proving systems to computer algebra. This book begins with several examples, followed by a chapter on basic notions that provides a foundation for the rest of the work. First-order and higher-order theories are presented, with much of the latter mate…
ISBN: 9780521391153
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Term Rewriting Systems
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Cambridge University Press
Who Should Read This
Students and professionals interested in Cambridge University Press, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





