検索結果を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=1000063522; NCID=BN01883796; LK [OPAC]https://opac.nijl.ac.jp/opac/opac_link/bibid/1000063522 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BN01883796; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=4781904971 OL 58