検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds T2 Lecture notes in computer science. A1 Kaplan, S. (Stéphane), 1961- A1 Jouannaud, Jean-Pierre. YR 1988 FD c1988 SP vi, 278 p. K1 Rewriting systems (Computer science) -- Congresses PB Springer-Verlag PP Berlin ; New York SN 0387192425 CL LCC:QA267 CL DC19:511.3 NO Includes bibliographies NO 書誌ID=1000587450; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000587450