検索結果を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=B000090263; NCID=BN01849175; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000090263 OL 58