検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computability and decidability : an introduction for students of computer science / J. Loeckx T2 Lecture notes in economics and mathematical systems A1 Loeckx, Jacques, 1931- YR 1972 FD 1972 VO New York SP vi, 76 p. K1 Sequential machine theory K1 Turing machines PB Springer-Verlag PP Berlin ; New York SN 0387058699 LA English (英語) CL LCC:QA267.5.S4 CL DC:629.8/91 NO Includes bibliographical references NO 書誌ID=1000426946; NCID=BA12545374; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000426946 OL 30