検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.) T2 Lecture notes in computer science A1 International Symposium on Logical Foundations of Computer Science A1 Nerode, Anil, 1932- A1 Taitslin, M. A. (Mikhail A.), 1936- YR 1992 FD c1992 VO : New York SP ix, 514 p. K1 Computers -- Congresses K1 Electronic data processing -- Congresses K1 Logic, Symbolic and mathematical -- Congresses PB Springer-Verlag PP Berlin ; New York SN 0387557075 LA English (英語) CL LCC:QA75.5 CL DC20:004 NO Includes bibliographical references NO 書誌ID=1000451168; NCID=BA17203458; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000451168 OL 30