FUNDAMENTAÇÃO COMPUTACIONAL DA MATEMÁTICA INTERVALAR
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
AVALIAÇÕES DE FUNÇÕES
-
CÁLCULO LAMBDA INTERVALAR
-
DOMÍNIOS
-
LÓGICA CONSTRUTIVA
-
MATEMÁTICA CONSTRUTIVA
-
Matemática intervalar
-
TOPOLOGIA DE SCOTT
-
Teoria dos Domínios
-
lógica
-
semântica denotacional
-
topologia de Scott
Identidade
identificador BrCris
-
98058fdb789c24fe2424ac612ec09759
identificador Oasisbr
-
URGS_766da9ec8f42cdc216249c9f473d702e