00954nam a22002291i 450099100226318970753620030519103558.0030925s1998 uik|||||||||||||||||eng b12264593-39ule_instARCHE-031217ExLBiblioteca InterfacoltàitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.Baader, Franz62009Term rewriting and all that /Franz Baader and Tobias NipkowCambridge [etc.] :Cambridge university press,1998XII, 301 p. ;26 cmNipkow, Tobiasauthorhttp://id.loc.gov/vocabulary/relators/aut62010.b1226459302-04-1408-10-03991002263189707536LE002 Scien. II G 1712002000022202le002-E0.00-l- 00000.i1265528408-10-03Term rewriting and all that375028UNISALENTOle00208-10-03ma -enguik01