Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz (ed.).
(Lecture notes in computer science)
国立国会図書館請求記号
M15-A5473
国立国会図書館書誌ID
000003174810
資料種別
図書
著者
International Conference on Rewriting Techniques and Applications (3rd : 1989 : Chapel Hill, N.C.)ほか