検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994, proceeding / A. Nerode, Yu. V. Matiyasevich (eds.) T2 Lecture notes in computer science A1 International Symposium on Logical Foundations of Computer Science A1 Nerode, Anil, 1932- A1 Matiyasevich, Yu. V. YR 1994 FD c1994 VO : us SP ix, 392 p. K1 Computers -- Congresses K1 Electronic data processing -- Congresses K1 Logic, Symbolic and mathematical -- Congresses PB Springer-Verlag PP Berlin ; New York SN 0387581405 LA English (英語) CL LCC:QA75.5 CL DC20:004 NO Includes bibliographical references NO 書誌ID=1000499790; NCID=BA22708872; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000499790 OL 30