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