Term Rewriting and All That
Full Title: | Term Rewriting and All That |
---|---|
ISBN: | 0521779200 |
ISBN13: | 9780521779203 |
List Price: | USD $45.00 |
Authors: |
Baader, Franz Nipkow, Tobias |
Related ISBNs