TY  - BOOK
A1  - 
TI  - Rewriting techniques and applications: 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001: proceedings
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72157207
UR  /book/72157207/Rewriting-techniques-and-applications-12th-intern/
ER  -