skip to main content

Sair
Identificação

Idioma:

Resultados de 1 a 10 de 214 para Busca Geral

Ordenado por: Ordenado por: TítuloOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Recursos Online (120)
Revistas revisadas por pares (43)

Refinado por: autor: Dowek, Gilles

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artigo		About Folding–Unfolding Cuts and Cuts Modulo Dowek, G. Journal of logic and computation, 2001-06, Vol.11 (3), p.419-429 [Periódico revisado por pares] Oxford: Oxford University Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Ata de Congresso		Analyzing individual proofs as the basis of interoperability between proof systems Dowek, Gilles Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
3	Material Type: Artigo		Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems Dowek, Gilles arXiv.org, 2017-12 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo		Arithmetic as a theory modulo Dowek, Gilles ; Werner, Benjamin Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
5	Material Type: Artigo		Arithmetic as a theory modulo Dowek, Gilles ; Werner, Benjamin arXiv.org, 2023-10 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Ata de Congresso		Arithmetic as a Theory Modulo Dowek, Gilles ; Werner, Benjamin Lecture notes in computer science, 2005, p.423-437 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
7	Material Type: Artigo		Around the physical Church-Turing thesis: cellular automata, formal languages, and the principles of quantum theory Dowek, Gilles Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
8	Material Type: Artigo		Automata, Resolution, and Cut-elimination Burel, Guillaume ; Dowek, Gilles ; Jiang, Ying Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
9	Material Type: Livro		Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 : Proceedings Carbonell, Jaime G ; Siekmann, Jörg ; Armando, Alessandro Berlin/Heidelberg: Springer Berlin / Heidelberg 2008 Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
10	Material Type: Livro		Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings Armando, Alessandro ; Baumgartner, Peter ; Dowek, Gilles Berlin, Heidelberg: Springer Berlin / Heidelberg 2008 Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por

Resultados de 1 a 10 de 214 para Busca Geral

Ordenado por: Ordenado por: TítuloOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Mostrar Somente

Recursos Online (120)
Revistas revisadas por pares (43)

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento