Term rewriting and all that
Franz Baader and Tobias Nipkow
Cambridge University Press
9780521455206
0-521-45520-0
| BOOKSTORE | TOTAL | ||
|---|---|---|---|
| {{condition}} | {{price}} + {{shipping}} s/h | ||
| This book is currently reported out of stock for sale, but WorldCat can help you find it in your local library: | |||