Term rewriting and all that
Franz Baader and Tobias Nipkow
Bok Engelsk 1998
Utgitt | New York : Cambridge University Press , c1998
|
---|---|
Omfang | xii, 301 s.
|
Emner | |
Dewey | |
ISBN | 0521455200. - 0521779200
|
Utgitt | New York : Cambridge University Press , c1998
|
---|---|
Omfang | xii, 301 s.
|
Emner | |
Dewey | |
ISBN | 0521455200. - 0521779200
|