skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: data de publicação: 1959Até1974 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Turing machines
Material Type:
Livro
Adicionar ao Meu Espaço

Turing machines

Open University Topics in Pure Mathematics Course Team

Milton Keynes Open University Press 1973

Localização: ICMC - Inst. Ciên. Mat. Computação    (02C01 Open m202-16 e.1 )(Acessar)

2
Computability theory an introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Computability theory an introduction

Neil D. Jones

New York Academic Press 1973

Localização: IME - Inst. Matemática e Estatística  MARTA CAVALLO BUNGE  (BUNGE QA810 J78c e.2 ) e outros locais(Acessar)

3
Computability and decidability; an introduction for students of computer science
Material Type:
Livro
Adicionar ao Meu Espaço

Computability and decidability; an introduction for students of computer science

Jacques Loeckx 1931-

Berlin New York Springer 1972

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q20.05 L825cd e.1 ) e outros locais(Acessar)

4
Material Type:
Livro
Adicionar ao Meu Espaço

Minds and machines

Alan Ross Anderson

Englewood Cliffs, N.J. Prentice-Hall 1964

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (A34.33.7 ) e outros locais(Acessar)

5
Material Type:
Livro
Adicionar ao Meu Espaço

The language of nature an essay in the philosophy of science

David Hawkins 1913-2002

Garden City, N.Y Anchor Books 1967, Ã1964

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (A34.9.28 )(Acessar)

6
Computability Theory: An Introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Computability Theory: An Introduction

Jones, Neil D ; Ashenhurst, Robert L

Saint Louis: Elsevier Science & Technology 1973

Texto completo disponível

7
Computability and Decidability: An Introduction for Students of Computer Science
Material Type:
Livro
Adicionar ao Meu Espaço

Computability and Decidability: An Introduction for Students of Computer Science

Beckmann, M ; Goos, G ; Künzi, H. P

Berlin, Heidelberg: Springer Berlin / Heidelberg 1972

Texto completo disponível

8
On the inference of Turing machines from sample computations
Material Type:
Artigo
Adicionar ao Meu Espaço

On the inference of Turing machines from sample computations

Biermann, A.W

Artificial intelligence, 1972, Vol.3, p.181-198 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

9
Turing machines and the spectra of first-order formulas
Material Type:
Artigo
Adicionar ao Meu Espaço

Turing machines and the spectra of first-order formulas

Jones, 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 Press

Texto completo disponível

10
Tutor—A Turing machine simulator
Material Type:
Artigo
Adicionar ao Meu Espaço

Tutor—A Turing machine simulator

Pierce, John C. ; Singletary, W.E. ; Vander Mey, J.E.

Information sciences, 1973, Vol.5, p.265-278 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (678)
  2. magazinearticle  (114)
  3. Reports  (85)
  4. Resenhas  (75)
  5. Livros  (35)
  6. Book Chapters  (35)
  7. Anais de Congresso  (2)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1961  (57)
  2. 1961Até1963  (126)
  3. 1964Até1966  (174)
  4. 1967Até1970  (331)
  5. Após 1970  (363)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (978)
  2. Japonês  (39)
  3. Alemão  (12)
  4. Francês  (10)
  5. Espanhol  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.