Mostrando
1 - 11
resultados de
11
para a busca '
Dinis, Bruno
'
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
Dinis, Bruno
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 11
resultados de
11
para a busca '
Dinis, Bruno
'
, tempo de busca: 0,03s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Hardwiring truth in functional interpretations
por
Dinis
,
Bruno
Publicado em 2023
Acessar documento
Artigo
2
Equality and near-equality in a nonstandard world
por
Dinis
,
Bruno
Publicado em 2022
Acessar documento (1)
Acessar documento (2)
Artigo
3
On the nature of natural numbers
por
Dinis
,
Bruno
Publicado em 2022
Acessar documento
Artigo
4
The Halpern-Mann iteration in CAT(0) spaces.
por
Dinis
,
Bruno
Publicado em 2022
Acessar documento
Artigo de conferência
5
Convergence: what’s logic got to do with it?
por
Dinis
,
Bruno
Publicado em 2022
Acessar documento
Artigo de conferência
6
Functional interpretations and applications
por
Dinis
,
Bruno
Publicado em 2022
Acessar documento
Artigo de conferência
7
Stateful Realizers for Nonstandard Analysis
por
Dinis
,
Bruno
Publicado em 2023
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Artigo
8
Algebraic properties of external numbers
por
Dinis
,
Bruno
Publicado em 2011
Acessar documento
Artigo
9
Axiomatics for the externa lnumbers of nonstandardanalysis
por
Dinis
,
Bruno
Publicado em 2017
Acessar documento
Artigo
10
Instantiation overflow
por
Dinis
,
Bruno
Publicado em 2016
Acessar documento
Artigo
11
Relatório de Estágio Profissional I, II, III e IV
por
Dinis
,
Bruno
Miguel da Costa
Publicado em 2022
Acessar documento
Dissertação
Exportar CSV
Exportar RIS
Carregando...