Turing's 1949 paper in context
From MaRDI portal
Publication:2011633
Recommendations
Cites work
- A science of operations. Machines, logic and the invention of programming.
- An axiomatic basis for computer programming
- scientific article; zbMATH DE number 3298352 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- Numerical analysis as an independent science
- Proof of a program
- Specification languages for mechanical languages and their processors a baker's dozen
This page was built for publication: Turing's 1949 paper in context
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011633)