Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
2 |
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) |
|
3 |
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) |
|
4 |
Material Type: Livro
|
Minds and machinesAlan Ross AndersonEnglewood Cliffs, N.J. Prentice-Hall 1964Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (A34.33.7 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
The language of nature an essay in the philosophy of scienceDavid Hawkins 1913-2002Garden City, N.Y Anchor Books 1967, Ã1964Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (A34.9.28 )(Acessar) |
|
6 |
Material Type: Livro
|
Computability Theory: An IntroductionJones, Neil D ; Ashenhurst, Robert LSaint Louis: Elsevier Science & Technology 1973Texto completo disponível |
|
7 |
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 |
|
8 |
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 |
|
9 |
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 |
|
10 |
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 |