群馬工業高等専門学校

計算の理論

M.デーヴィス著 ; 渡辺茂, 赤攝也訳. -- 岩波書店, 1966. -- (現代科学選書). <BB00802216>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~2件(全2件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日 予約
0001 群馬高専 書庫(重複) 418.6||D46 1012438 0件
0002 群馬高専 書庫1階 418.6||D46 1012711 0件
No. 0001
巻号
所蔵館 群馬高専
配置場所 書庫(重複)
請求記号 418.6||D46
資料ID 1012438
状態
コメント
返却予定日
予約 0件
No. 0002
巻号
所蔵館 群馬高専
配置場所 書庫1階
請求記号 418.6||D46
資料ID 1012711
状態
コメント
返却予定日
予約 0件

書誌詳細

標題および責任表示 計算の理論 / M.デーヴィス著 ; 渡辺茂, 赤攝也訳
ケイサン ノ リロン
出版・頒布事項 東京 : 岩波書店 , 1966.10
形態事項 x, 314p : 図版 ; 21cm
書誌構造リンク 現代科学選書||ゲンダイ カガク センショ <BB00067913>//a
その他の標題 原タイトル:Computability and unsolvability
注記 参考文献: p265-271
学情ID BN01849175
本文言語コード 日本語
著者標目リンク Davis, Martin, 1928- <NC:DA00915927>
著者標目リンク 赤, 攝也(1926-)
セキ, セツヤ <NC:DA00722333>
著者標目リンク 渡辺, 茂(1918-1992)
ワタナベ, シゲル <NC:DA00171036>
分類標目 解析学 NDC8:413
件名標目等 帰納的関数||キノウテキカンスウ