| 000 | 00736nam a2200193 a 4500 | ||
|---|---|---|---|
| 008 | 060316s1998 ||||||||||||||||| || u | ||
| 020 | _a0521455200 | ||
| 050 | _aQA 267 Baa | ||
| 100 | _aNipkow, Tobias, 1958- | ||
| 245 | 1 | 0 | _aTerm rewriting and all that |
| 260 |
_aCambridge : _bCambridge University Press _c1998 |
||
| 300 | _axii, 301 p. : ill. ; 26 cm. | ||
| 350 | _a0.00 | ||
| 500 | _aIncludes bibliographical references | ||
| 650 | _aREWRITING SYSTEMS (COMPUTER SCIENCE) | ||
| 700 | _aBaader, Franz | ||
| 856 | _uhttp://www.loc.gov/catdir/toc/cam027/97028286.html | ||
| 995 |
_D0.00 _FCBU-MAIN LIBRARY (Kitwe) _H1 _I43.95 _M1 _UAVAILABLE _ZMain Library Open Access Collection |
||
| 999 |
_c59641 _d59641 |
||