検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 計算の理論 / M.デーヴィス著 ; 渡辺茂, 赤攝也訳 T2 現代科学選書 OT Computability and unsolvability A1 Davis, Martin, 1928- A1 赤, 攝也(1926-) A1 渡辺, 茂(1918-1992) YR 1966 FD 1966.10 SP x, 314p K1 帰納的関数 PB 岩波書店 PP 東京 CL NDC8:413 CL TCLC:410.9 NO 参考文献: p265-271 NO 書誌ID=1000572812; NCID=BN01849175; LK [OPAC]https://tclopac.tenri-u.ac.jp/opac/opac_link/bibid/1000572812 OL 58