The product is a textbook titled "Rewriting Techniques and Applications" by Nachum Dershowitz. Published in 1989 by Springer Berlin / Heidelberg as part of the Lecture Notes in Computer Science series, this book covers computer science, algebra, and logic. With 589 pages, this trade paperback is a valuable resource for those interested in computers and mathematics, offering insights into rewriting techniques and their applications in various fields.
eBay