図書

コンピュータ理論の起源 第1巻

Icons representing 図書
The cover of this title could differ from library to library. Link to Help Page

コンピュータ理論の起源. 第1巻

Call No. (NDL)
M154-L74
Bibliographic ID of National Diet Library
025153775
Material type
図書
Author
伊藤和行 編ほか
Publisher
近代科学社
Publication date
2014.1
Material Format
Paper
Capacity, size, etc.
239p ; 21cm
NDC
548.2
View All

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.:
    549.9/2889/1
    Book Registration Number:
    008864035
  • 愛知県図書館

    Paper
    Call No.:
    548.2-コン-1080304
    Book Registration Number:
    1110803040
  • 三重県立図書館

    Paper
    Call No.:
    548.2-コ-1
    Book Registration Number:
    116832742
  • 岡山県立図書館

    Paper
    Call No.:
    548.2/イト14/1
    Book Registration Number:
    0012361291
  • 高知県立図書館

    Paper
    Call No.:
    548.2-コン-1
    Book Registration Number:
    1107642538

Search by Bookstore

Publication bibliographic database Books 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.

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.

Paper Digital

Material Type
図書
ISBN
978-4-7649-0454-5
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