on all orders of $59 or more
Term Rewriting and All That
by Franz Baader , Tobias Nipkow
ISBN: 9780521779203
Copyright:
Paperback
ISBN: 9780521455206
Hardcover