---

＜図書＞
ケイサンノ リロン
計算の理論 / M.デーヴィス {著} ; 渡辺茂,赤摂也 訳
(現代科学選書)

出版者	東京 : 岩波書店
出版年	1966.10
大きさ	314p ; 22cm
著者標目	Davis, Martin, 1928- 渡辺, 茂(1918- ) <ワタナベ, シゲル(1918- )> 赤, 攝也(1926-) <セキ, セツヤ >
件　名	アルゴリズム
一般注記	著者の肖像あり 原著注記:Computability and unsolvability. の翻訳 参考文献:p265-271

 類似資料