豊田工業高等専門学校

計算の理論

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

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日 予約
0001 豊田高専 研究室 418||D 0011282 0件
0002 豊田高専 研究室 418||V 0009148 0件
0003 豊田高専 書庫1F 410||O 0009447 0件
0004 豊田高専 書庫1F 418||D 0011264 0件
No. 0001
巻号
所蔵館 豊田高専
配置場所 研究室
請求記号 418||D
資料ID 0011282
状態
コメント
返却予定日
予約 0件
No. 0002
巻号
所蔵館 豊田高専
配置場所 研究室
請求記号 418||V
資料ID 0009148
状態
コメント
返却予定日
予約 0件
No. 0003
巻号
所蔵館 豊田高専
配置場所 書庫1F
請求記号 410||O
資料ID 0009447
状態
コメント
返却予定日
予約 0件
No. 0004
巻号
所蔵館 豊田高専
配置場所 書庫1F
請求記号 418||D
資料ID 0011264
状態
コメント
返却予定日
予約 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
件名標目等 帰納的関数||キノウテキカンスウ