skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Logic, Symbolic And Mathematical remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Turing Computability: Theory and Applications
Turing Computability: Theory and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Turing Computability: Theory and Applications

Soare, Robert I

Berlin, Heidelberg: Springer Nature 2016

Texto completo disponível

Citações Citado por
2
Turing Machines with Sublogarithmic Space
Turing Machines with Sublogarithmic Space
Material Type:
Livro 		Adicionar ao Meu Espaço

Turing Machines with Sublogarithmic Space

Szepietowski, Andrzej Szepietowski, Andrzej

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
3
Alan Turing's Systems of Logic: The Princeton Thesis
Alan Turing's Systems of Logic: The Princeton Thesis
Material Type:
Livro 		Adicionar ao Meu Espaço

Alan Turing's Systems of Logic: The Princeton Thesis

Appel, Andrew W

Princeton: Princeton University Press 2012

Texto completo disponível

Citações Citado por
4
Alan Turing's Systems of Logic: The Princeton Thesis
Alan Turing's Systems of Logic: The Princeton Thesis
Material Type:
Livro 		Adicionar ao Meu Espaço

Alan Turing's Systems of Logic: The Princeton Thesis

Appel, Andrew W

Princeton University Press 2021

Texto completo disponível

Citações Citado por
5
Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Chan, T-H. Hubert ; Lau, Lap Chi ; Trevisan, Luca Trevisan, Luca ; Lau, Lap Chi ; Chan, T-H. Hubert

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
6
Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

Agrawal, Manindra ; Cooper, Barry S ; Li, Angsheng Agrawal, Manindra ; Cooper, Barry S ; Li, Angsheng

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
7
The logician and the engineer: how George Boole and Claude Shannon created the information age
The logician and the engineer: how George Boole and Claude Shannon created the information age
Material Type:
Livro 		Adicionar ao Meu Espaço

The logician and the engineer: how George Boole and Claude Shannon created the information age

Nahin, Paul J

Princeton: Princeton University Press 2012

Texto completo disponível

Citações Citado por
8
Alan Turing: His Work and Impact
Alan Turing: His Work and Impact
Material Type:
Livro 		Adicionar ao Meu Espaço

Alan Turing: His Work and Impact

Cooper, S. Barry ; van Leeuwen, J

San Diego: Elsevier Science 2013

Texto completo disponível

Citações Citado por
9
Brains, Machines, and Mathematics
Brains, Machines, and Mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Brains, Machines, and Mathematics

Arbib, Michael A

New York, NY: Springer 1987

Texto completo disponível

Citações Citado por
10
Logic, Automata, and Algorithms
Logic, Automata, and Algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, Automata, and Algorithms

Aiserman, Mark A ; Gusev, Leonid A ; Rozonoer, Lev I ; Smirnova, Irina M ; Tal', Aleksey A

San Diego: Elsevier Science & Technology 1971

Texto completo disponível

Citações Citado por
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. Livros  (126)
  2. Artigos  (2)
  3. Anais de Congresso  (1)
  4. magazinearticle  (1)
  5. Mais opções open sub menu

Autor/Criador 

  1. Smith, P  (1)
  2. Marek, W  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (14)
  2. 1988Até1996  (25)
  3. 1997Até2004  (33)
  4. 2005Até2013  (74)
  5. Após 2013  (36)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Smith, P
  2. Marek, W

Neste Assunto:

  1. Logic, Symbolic And Mathematical
  2. Logic, Symbolic And Mathematical
  3. Computer Science
  4. Mathematical Logic
  5. Mathematics

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.