Turing's 1949 paper in context

DOI10.1007/978-3-319-58741-7_4zbMath1433.68004OpenAlexW2612470661MaRDI QIDQ2011633

Cliff B. Jones

Publication date: 4 August 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-58741-7_4

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) General topics in the theory of software (68N01) History of computer science (68-03)

Uses Software

• Find

Cites Work

• Unnamed Item
• Unnamed Item
• A science of operations. Machines, logic and the invention of programming.
• Specification languages for mechanical languages and their processors a baker's dozen
• Numerical analysis as an independent science
• An axiomatic basis for computer programming
• Proof of a program

This page was built for publication: Turing's 1949 paper in context