検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / Leo Bachmair (ed.) T2 Lecture notes in computer science A1 International Conference on Rewriting Techniques and Applications A1 Bachmair, Leo YR 2000 FD c2000 SP x, 273 p. K1 Rewriting systems (Computer science) -- Congresses K1 Computer programming -- Congresses K1 Algorithms -- Congresses PB Springer PP Berlin SN 354067778X LA English (英語) CL LCC:QA267 NO Includes bibliographical references and index NO 書誌ID=1001167766; NCID=BA47496810; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001167766 OL 30