Mostrando
1 - 2
resultados de
2
para a busca '
Rocha, Thiago Alves
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Rocha, Thiago Alves
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 2
resultados de
2
para a busca '
Rocha, Thiago Alves
'
, tempo de busca: 0,01s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Complexidade descritiva de classes de complexidade probabilísticas de tempo polinomial e das classes ⊕P e NP∩coNP através de lógicas com quantificadores de segunda ordem
por
Rocha
,
Thiago
Alves
Publicado em 2014
Acessar documento
Dissertação
2
Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability
por
Rocha
,
Thiago
Alves
Publicado em 2019
Acessar documento
Tese
Exportar CSV
Exportar RIS
Carregando...