Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.). (Lecture notes in computer science)
Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.).
(Lecture notes in computer science)
国立国会図書館請求記号
M15-A8819
国立国会図書館書誌ID
000003215732
資料種別
図書
著者
International Conference on Rewriting Techniques and Applications (5th : 1993 : Montreal, Canada)ほか