00683cam a2200217 a 4500 3543784 20260625100239.0 970626s1998 enka b 001 0 eng 9780521779203 (pbk.) 3543784 DLC Krea DLC 005.131 BAA Baader, Franz. 208 Term rewriting and all that / Franz Baader and Tobias Nipkow. New York : Cambridge University Press, 1999. xii, 301 p. : ill. ; 25 cm. Rewriting systems (Computer science) 209 Nipkow, Tobias, 210 ddc BK 124392 124392 0 0 ddc 0 0 SIAS SRICITYLIB SRICITYLIB 2026-06-25 Atlantic - 1214019/10 7308.00 0 005.131 BAA K19392 2026-06-25 10:02:59 2026-06-25 BK