Refine Your Search
Book List
1
-
Term rewriting and all that / Franz Baader and Tobias Nipkow.
- 005.131 B1116
- Baader, Franz.
- Cambridge University Press,
- 1998.
- Cambridge ; New York :