検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.) T2 Lecture notes in computer science A1 International Conference on Rewriting Techniques and Applications A1 Middeldorp, Aart, 1963- YR 2001 FD c2001 SP xii, 361 p. K1 Rewriting systems (Computer science) -- Congresses K1 Computer programming -- Congresses K1 Algorithms -- Congresses PB Springer PP Berlin SN 3540421173 LA English (英語) CL LCC:QA267 NO Includes bibliographies and index NO 書誌ID=1001271755; NCID=BA51960208; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001271755 OL 30