Resultados da busca por Autor

1

Equality and near-equality in a nonstandard world

por Dinis, Bruno

Publicado em 2022

Acessar documento (1)
Acessar documento (2)

Artigo

2

Convergence: what’s logic got to do with it?

por Dinis, Bruno

Publicado em 2022

Acessar documento

Artigo de conferência

3

The Halpern-Mann iteration in CAT(0) spaces.

por Dinis, Bruno

Publicado em 2022

Acessar documento

Artigo de conferência

4

Functional interpretations and applications

por Dinis, Bruno

Publicado em 2022

Acessar documento

Artigo de conferência

5

Effective Metastability for a Method of Alternating Resolvents

por Dinis, Bruno

Publicado em 2024

Acessar documento

Artigo

6

Aleitamento materno, medicamentos, plantas, tóxicos e doenças

por Dinis, Bruno

Publicado em 2009

Acessar documento

Artigo

7

Stateful Realizers for Nonstandard Analysis

por Dinis, Bruno

Publicado em 2023

Acessar documento (1)
Acessar documento (2)
Acessar documento (3)

Artigo

8

Hardwiring truth in functional interpretations

por Dinis, Bruno

Publicado em 2023

Acessar documento

Artigo

9

Axiomatics for the externa lnumbers of nonstandardanalysis

por Dinis, Bruno

Publicado em 2017

Acessar documento

Artigo

10

On the nature of natural numbers

por Dinis, Bruno

Publicado em 2022

Acessar documento

Artigo

11

Algebraic properties of external numbers

por Dinis, Bruno

Publicado em 2011

Acessar documento

Artigo

12

Instantiation overflow

por Dinis, Bruno

Publicado em 2016

Acessar documento

Artigo

13

Relatório de Estágio Profissional I, II, III e IV

por Dinis, Bruno Miguel da Costa

Publicado em 2022

Acessar documento

Dissertação

14

Assemblies as Semigroups

por Dardano, Ulderico

Publicado em 2024

Outros Autores: “...Dinis, Bruno...”
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)

Artigo