コンピュータ理論の起源 第1巻
コンピュータ理論の起源. 第1巻
- Call No. (NDL)
- M154-L74
- Bibliographic ID of National Diet Library
- 025153775
Detailed bibliographic record
Contents：
- チューリング / チューリング [著]チューリングの人生と業績計算可能な数について,その決定問題への応用 / チューリング 著...
Summary, etc.：
- 本書は，チューリングのコンピュータに関わる重要な論文4編の完訳と内容を的確に理解するための時代背景を含めた詳細に解説。(Provided by: 出版情報登録センター（JPRO）)
Author introduction：
- 伊藤 和行 伊藤 和行（京都大学教授）佐野 勝彦 佐野 勝彦（北陸先端科学技術大学院大学）杉本 舞 杉本 舞（関西大学）...
Search by Bookstore
Table of Contents
序章 チューリングの人生と業績 第I部 「計算可能な数について，その決定問題への応用」 第II部 「1947年2月20日におけるロンドン数学会での講演」 第III部 「知能機械」 第IV部 「計算機械と知能」
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Kanto
茨城県立図書館
Paper- Call No.：
- 548.2/ｲﾄ/1
埼玉県立久喜図書館
Paper- Call No.：
- 548.2-ｺﾝ
- Book Registration Number：
- 102770781
千葉県立西部図書館
Paper- Call No.：
- 5482/ 124/1
- Book Registration Number：
- 1102364527
東京都立中央図書館
Paper- Call No.：
- 548.2-5356-1
- Book Registration Number：
- 7103482947
神奈川県立川崎図書館
Paper- Call No.：
- 548.2-502
- Book Registration Number：
- 81599177
Search by Bookstore
Publication bibliographic database 
Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-7649-0454-5
- Title
- Title Transcription
- コンピュータ リロン ノ キゲン
- Volume
- 第1巻
- Author/Editor
- 伊藤和行 編佐野勝彦, 杉本舞 訳・解説
- Author Heading
- 伊藤, 和行, 1957- イトウ, カズユキ, 1957- ( 00193301 )Authorities佐野, 勝彦 サノ, カツヒコ ( 001161420 )Authorities杉本, 舞 スギモト, マイ ( 001161423 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2014.1
- Publication Date (W3CDTF)
- 2014