検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, proceedings / M. Main ... [et al.] (eds.) T2 Lecture notes in computer science A1 Main, Michael, 1956- A1 International Conference on the Mathematical Foundation of Programming Semantics YR 1990 FD c1990 VO : gw SP vi, 439 p. K1 Programming languages (Electronic computers) -- Semantics -- Congresses K1 Computer science -- Mathematics -- Congresses PB Springer-Verlag PP Berlin ; New York SN 3540973753 LA English (英語) CL LCC:QA76.7 CL DC20:005.13/1 NO Proceedings of the Fifth International Conference on the Mathematical Foundations of Programming Semantics NO 書誌ID=1000382663; NCID=BA10539064; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000382663 OL 30