検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 プログラミングによる計算可能性理論 / A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳 T2 Information & computing OT A programming approach to computability A1 Arbib, Michael A., 1940- A1 甘利, 俊一(1936-) A1 金谷, 健一(1947-) A1 川端, 勉 A1 Kfoury, A. J. A1 Moll, Robert N. YR 1987 FD 1987.12 SP vi, 287p K1 数学基礎論 K1 アルゴリズム PB サイエンス社 PP 東京 SN 4781904971 LA Japanese (日本語) CL NDC8:410.9 CL NDC7:410.1 CL NDLC:MA41 NO 文献: p275-277 NO 書誌ID=2000029836; NCID=BN01883796; LK [OPAC]https://www.lib.ntu.ac.jp/opac/opac_link/bibid/2000029836 OL 58