The search result is exported to RefWorks.Results 1 items.
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 参考文献:p.265-271 NO BIBID=2000006927; NCID=BN01849175; LK [OPAC]https://lib.asahikawa-med.ac.jp/opac/opac_link/bibid/2000006927 OL 58