Publication | Closed Access
On Computable Numbers, with an Application to the Entscheidungsproblem
8K
Citations
1
References
1937
Year
Computable NumbersEngineeringAutomated ReasoningComputational Model TheoryFormal MethodsComputer ScienceFormal VerificationTuring MachineComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1