00736nam a2200193 a 4500 060316s1998 ||||||||||||||||| || u 0521455200 QA 267 Baa Nipkow, Tobias, 1958- Term rewriting and all that Cambridge : Cambridge University Press 1998 xii, 301 p. : ill. ; 26 cm. 0.00 Includes bibliographical references REWRITING SYSTEMS (COMPUTER SCIENCE) Baader, Franz http://www.loc.gov/catdir/toc/cam027/97028286.html 0.00 CBU-MAIN LIBRARY (Kitwe) 1 43.95 1 AVAILABLE Main Library Open Access Collection 59641 59641 0 0 lcc 0 0 001 001 Main Library Open Access Collection 2022-11-30 0 QA 267 Baa 029328 2022-11-30 2022-11-30 002