00547nz a2200157n 4500
no2002088598
DLC
20020928071011.0
020927n| acannaabn |a aaa c
no2002088598
(OCoLC)oca05873729
HkUST
eng
HkUST
Martí-Oliet, N.
(Narciso)
Martí-Oliet, Narciso
Oliet, N. Martí-
(Narciso Martí-)
Rewriting logic and its applications, c2002:
t.p. (N. Martí-Oliet) pref. (Narciso Martí-Oliet; Computer Science Lab. SRI International, CA, USA)