Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Computability Theory: An IntroductionJones, Neil D ; Ashenhurst, Robert LSaint Louis: Elsevier Science & Technology 1973Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Turing machinesOpen University Topics in Pure Mathematics Course TeamMilton Keynes Open University Press 1973Localização: ICMC - Inst. Ciên. Mat. Computação (02C01 Open m202-16 e.1 )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Computability and Decidability: An Introduction for Students of Computer ScienceBeckmann, M ; Goos, G ; Künzi, H. PBerlin, Heidelberg: Springer Berlin / Heidelberg 1972Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Computability theory an introductionNeil D. JonesNew York Academic Press 1973Localização: IME - Inst. Matemática e Estatística MARTA CAVALLO BUNGE (BUNGE QA810 J78c e.2 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Computability and decidability; an introduction for students of computer scienceJacques Loeckx 1931-Berlin New York Springer 1972Localização: ICMC - Inst. Ciên. Mat. Computação (68Q20.05 L825cd e.1 ) e outros locais(Acessar) |
6 |
Material Type: Artigo
|
![]() |
On the inference of Turing machines from sample computationsBiermann, A.WArtificial intelligence, 1972, Vol.3, p.181-198 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Turing machines and the spectra of first-order formulasJones, Neil D. ; Selman, Alan L.The Journal of symbolic logic, 1974-03, Vol.39 (1), p.139-150 [Periódico revisado por pares]New York, USA: Cambridge University PressTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Tutor—A Turing machine simulatorPierce, John C. ; Singletary, W.E. ; Vander Mey, J.E.Information sciences, 1973, Vol.5, p.265-278 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Some Bounds on the Storage Requirements of Sequential Machines and Turing MachinesKarp, Richard MJournal of the ACM, 1967-07, Vol.14 (3), p.478-489 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Turing Machines and the Mind-Body ProblemClarke, J. J.The British journal for the philosophy of science, 1972-02, Vol.23 (1), p.1-12 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |