検索結果を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 PB 岩波書店 PP 東京 LA Japanese (日本語) CL NDC8:413 NO 参考文献: p265-271 NO 書誌ID=1000003618; NCID=BN01849175; LK [OPAC]https://libop-nifs.nifs.ac.jp/opac/opac_link/bibid/1000003618 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BN01849175 OL 58