検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, (eds.) T2 Lecture notes in computer science A1 French Spring School of Theoretical Computer Science A1 Comon, Hubert A1 Jouannaud, Jean-Pierre YR 1995 FD c1995 VO : Berlin SP viii, 221 p. ill. K1 Computer science -- Congresses K1 Rewriting systems (Computer science) -- Congresses PB Springer Verlag PP Berlin ; New York SN 3540593403 LA English (英語) CL LCC:QA75.5 CL DC20:005.13/1 NO "This volume contains the proceedings of the French Spring School of Theoretical Computer Science held in Font Romeu in May 1993" -- Pref NO Includes bibliographical references NO 書誌ID=1000520362; NCID=BA25037263; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000520362 OL 30