Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Interim Report on Application and Operation of Out-of-Step ProtectionAIEE Relay SubcommitteeTransactions of the American Institute of Electrical Engineers, 1943-09, Vol.62 (9), p.567-573IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Recursive Unsolvability of a problem of ThuePost, Emil L.The Journal of symbolic logic, 1947-03, Vol.12 (1), p.1-11 [Periódico revisado por pares]New York, USA: Cambridge University PressTexto completo disponível |
3 |
Material Type: magazinearticle
|
![]() |
Man Viewed as a MachineKemeny, John G.Scientific American, 1955-04, Vol.192 (4), p.58-67Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Reviews of Current LiteratureIRE transactions on electronic computers, 1956-09, Vol.EC-5 (3), p.171-181IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Buyer's guide [intro to the Special Issue]Huffman, D.I.R.E. transactions on circuit theory, 1959-03, Vol.6 (1), p.4-4IEEETexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
The Present Theory of Turing Machine ComputabilityRogers, HartleyJournal of the Society for Industrial and Applied Mathematics, 1959-03, Vol.7 (1), p.114-130Philadelphia: Society for Industrial and Applied MathematicsTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
The Word ProblemBoone, William W.Annals of mathematics, 1959-09, Vol.70 (2), p.207-265Princeton UniversityTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Gödel's Theorem, Church's Theorem, and MechanismSmart, J. J. C.Synthese (Dordrecht), 1961-06, Vol.13 (2), p.105-110 [Periódico revisado por pares]Dordrecht: D. Reidel Publishing CompanyTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Turing Machines, Finite Automata and Neural NetsArbib, MichaelJournal of the ACM, 1961-10, Vol.8 (4), p.467-475 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing MachinesMinsky, Marvin L.Annals of mathematics, 1961-11, Vol.74 (3), p.437-455Princeton UniversityTexto completo disponível |