検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.) T2 Lecture notes in computer science A1 Botik '89 A1 Meyer, Albert R. A1 Taitslin, M. A. (Michael A.) YR 1989 FD c1989 VO : gw SP x, 289 p. K1 Computers -- Congresses K1 Electronic data processing -- Congresses K1 Logic, Symbolic and mathematical -- Congresses PB Springer-Verlag PP Berlin ; Tokyo SN 3540512373 LA English (英語) CL LCC:QA75.5 CL DC20:004/.01/5113 NO 書誌ID=1000347667; NCID=BA06995139; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000347667 OL 30