Search results for: Turing, Alan, 1912-1954

Showing 1 - 19 results of 19 Refine Results
  1. 1

    Mathematical logic

    Authors: Turing, Alan, 1912-1954
    Published: Elsevier Science, 2001
    Physical Description: xii, 293 pages : illustrations ; 25 cm.
    Book
  2. 2

    The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma

    Authors: Turing, Alan, 1912-1954
    Published: Clarendon Press ; Oxford University Press, 2004
    Physical Description: viii, 613 pages : illustrations ; 25 cm
    Book
  3. 3

    On computable numbers, with an application to the Entscheidungsproblem

    Physical Description: pages 230-265 ; 27 cm
    Book
  4. 4

    On computable numbers, with an application to the Entscheidungsproblem : a correction

    Physical Description: pages 544-546 ; 27 cm
    Book
  5. 5

    The extensions of a group

    Physical Description: pages [357]-367 ; 25 cm
    Book
  6. 6

    Rounding-off errors in matrix processes

    Physical Description: pages [287]-308 ; 24 cm
    Book
  7. 7

    Finite approximations to lie groups

    Physical Description: pages 105-111 ; 26 cm
    Book
  8. 8

    The word problem in semi-groups with cancellation

    Physical Description: pages 491-505 ; 26 cm
    Book
  9. 9

    Systems of logic based on ordinals

    Authors: Turing, Alan, 1912-1954
    Published: Printed by C.F. Hodgson & Son, 1939
    Physical Description: pages 161-228 ; 27 cm
    Book
  10. 10

    A method for the calculation of the zeta-function

    Authors: Turing, Alan, 1912-1954
    Published: C.F. Hodgson & Son, 1943
    Physical Description: pages 180-197 ; 27 cm
    Book
  11. 11

    Equivalence of left and right almost periodicity

    Physical Description: pages 284-285 ; 26 cm
    Article
  12. 12

    Computability and [lambda]-definability

    Physical Description: pages 153-163 ; 26 cm
    Article
  13. 13

    Practical forms of type theory

    Physical Description: pages 80-94 ; 26 cm
    Article
  14. 14

    Mathematical logic

    Authors: Turing, Alan, 1912-1954
    Published: Elsevier Science, 2001
    ScienceDirect eBooks - Mathematics pre-2007: 2001 (ScienceDirect)
    Electronic eBook
  15. 15

    The essential Turing seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma

    Authors: Turing, Alan, 1912-1954
    Published: Clarendon Press ; Oxford University Press, 2004
    ProQuest Ebook Central - Academic Complete: 2004 (Ebook Central @ Proquest)
    EBSCO eBooks: 2004 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2004 (EBSCO)
    Electronic eBook
  16. 16

    A formal theorem in Church's theory of types

    Physical Description: pages 28-33 ; 26 cm
    Article
  17. 17

    A.M. Turing's ACE report of 1946 and other papers

    Published: MIT Press ; Tomash Publishers, 1986
    Other Authors:
    Physical Description: 140 pages, 1 unnumbered leaf of plates : illustrations, portraits ; 24 cm.
    Book
  18. 18

    Alan Turing's automatic computing engine : the master codebreaker's struggle to build the modern computer

    Published: Oxford University Press, 2005
    Other Authors: “…Turing, Alan, 1912-1954…”
    Physical Description: xx, 553 pages : illustrations ; 25 cm
    Connect to: Table of contents - All users (Cataloging @ Library of Congress)
    Book
  19. 19

    The legacy of Alan Turing

    Published: Clarendon Press ; Oxford University Press, 1996
    Other Authors: “…Turing, Alan, 1912-1954…”
    Physical Description: 2 volumes : illustrations ; 23 cm.
    Connect to: Table of contents only - All users (Cataloging @ Library of Congress)
    Book