検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds T2 Lecture notes in computer science A1 TACS A1 萩谷, 昌己(1957-) A1 Mitchell, John C. YR 1994 FD c1994 VO : gw VO : us SP xi, 885 p. K1 Computer software -- Congresses PB Springer-Verlag PP Berlin ; New York SN 3540578870 SN 0387578870 LA English (英語) CL LCC:QA76.751 CL DC20:005.1/01/5113 NO 書誌ID=1000495786; NCID=BA22408529; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000495786 OL 30