検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke (eds.) T2 Lecture notes in computer science A1 Börger, Egon, 1946- A1 Gurevich, Yuri A1 Meinke, K. (Karl) A1 Workshop on Computer Science Logic YR 1994 FD c1994 VO : gw VO : us SP viii, 336 p. K1 Computer logic -- Congresses K1 Computer science -- Congresses K1 Logic, Symbolic and mathematical -- Congresses PB Springer-Verlag PP Berlin ; New York SN 3540582770 SN 0387582770 LA English (英語) CL LCC:QA76.9.L63 CL LCC:QA75.5 CL DC20:004/.01/5113 NO "The 1993 Annual Conference of the European Association for Computer Science Logic CSL '93 was held in Swansea from September 13 to September 17, 19 NO Includes bibliographical references NO 書誌ID=1000503814; NCID=BA23281092; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000503814 OL 30