Publication | Closed Access
On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
584
Citations
0
References
1938
Year
Computable NumbersEngineeringAutomated ReasoningProof ComplexityComputational Model TheoryFormal MethodsModel Of ComputationTuring MachineComputability Theory
No additional data available for this publication yet. Check back later!