検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Compiling natural semantics / Mikael Pettersson T2 Lecture notes in computer science A1 Pettersson, Mikael YR 1999 FD c1999 SP xvi, 240 p. K1 Programming languages -- Electronic computers -- Semantics PB Springer PP Berlin ; Tokyo ; New York SN 3540659684 LA English (英語) CL LCC:QA76.7 CL DC21:005.13/1 NO Bibliography: p. [223]-237 NO Includes index NO 書誌ID=0219021120; NCID=BA41373556; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/0219021120 OL 30