Turing's 1949 paper in context
From MaRDI portal
Publication:2011633
DOI10.1007/978-3-319-58741-7_4zbMATH Open1433.68004OpenAlexW2612470661MaRDI QIDQ2011633FDOQ2011633
Authors: Cliff B. Jones
Publication date: 4 August 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-58741-7_4
Recommendations
General topics in the theory of software (68N01) History of mathematics in the 20th century (01A60) History of computer science (68-03)
Cites Work
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- A science of operations. Machines, logic and the invention of programming.
- Numerical analysis as an independent science
- Proof of a program
- Specification languages for mechanical languages and their processors a baker's dozen
- Title not available (Why is that?)
Cited In (2)
Uses Software
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)