Jump to main content

yr 〜
yr

Search results 6

Alan Turing's systems of logic : the Princeton thesis

Alan Turing's systems of logic : the Princeton thesis
Paper図書
edited and introduced by Andrew W. Appel.Princeton University Press[2012]<X>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00621580 01179151

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

コンピュータ理論の起源 第1巻
PaperDigital図書
伊藤和行 編, 佐野勝彦, 杉本舞 訳・解説近代科学社2014.1<M154-L74>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00193301 001161420 001161423 00621580

Alan Turing : life and legacy of a great thinker / Christof Teuscher, ed. ; foreword by Douglas Hofstadter.

Alan Turing : life and legacy of a great thinker / Christof Teuscher, ed. ; foreword by Douglas Hofstadter.
Paper図書
Springerc2004.<MA25-B15>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00621580

Pure mathematics / edited by J.L. Britton ; with a section on Turing's statistical work by I.J. Good. (Collected works of A.M. Turing)

Pure mathematics / edited by J.L. Britton ; with a section on Turing's statistical work by I.J. Good. (Collected works of A.M. Turing)
Paper図書
North-Holland1992.<MA21-A58>
National Diet Library
  • Author Heading (ID)00621580

Mechanical intelligence / edited by D.C. Ince. (Collected works of A.M. Turing)

Mechanical intelligence / edited by D.C. Ince. (Collected works of A.M. Turing)
Paper図書
North-Holland1992.<M121-A122>
National Diet Library
  • Author Heading (ID)00621580

Morphogenesis / edited by P.T. Saunders. (Collected works of A.M. Turing)

Morphogenesis / edited by P.T. Saunders. (Collected works of A.M. Turing)
Paper図書
North-Holland1992.<RA233-A17>
National Diet Library
  • Author Heading (ID)00621580

Reached to the end of result.

RSS