| Shelfclass_id | 4.B.3 |
| Sortkey | BAADER, FRANZ |
| Authors | Franz Baader, Tobias Nipkow |
| Title | Term Rewriting and All That |
| Publisher | Cambridge University Press |
| Year | 1998 |
| Languages | eng |
| Isbn | 0521455200, 9780521779203 |
| Description | xii, 301 p. ill 26cm |
| Record date | 20091201 |
| Location | Cambridge |
| Keywords | Rewriting systems (Computer science), Datorprogram, Logik, Computer software, Computer programs, Logic |