検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud T2 Lecture notes in computer science A1 Jouannaud, Jean-Pierre A1 International Conference on Rewriting Techniques and Applications YR 1985 FD c1985 SP vi, 440 p. K1 Computer programming -- Congresses K1 Algorithms -- Congresses K1 Rewriting systems (Computer science) -- Congresses PB Springer-Verlag PP Berlin ; New York SN 0387159762 CL LCC:QA267 CL LCC:QA76.6 CL DC19:005 NO Papers presented at the First International Conference on Rewriting Techniques and Applications, held in Dijon, Burgundy, France, May 20-22, 1985 NO Includes bibliographies NO 書誌ID=1000587021; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000587021