Portal do Governo Brasileiro
s
Mostrando
1 - 2
resultados de
2
para a busca '
(("Scott topology") OR ("Scott topologia"))
'
Pular para o conteúdo
Institucional
Sobre
Como participa
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Dúvidas frequentes
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Resultados da busca: (("Scott topology") OR ("Scott topologia"))
Mostrando
1 - 2
resultados de
2
para a busca '
(("Scott topology") OR ("Scott topologia"))
'
, tempo de busca: 0,15s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
Assuntos:
“
...
Scott
topology
...
”
Fundamentação computacional da matemática intervalar
Por
Acioly, Benedito Melo
Publicado em 1991
Acessar documento
Tese
2
Assuntos:
“
...
Scott
topology
...
”
Domínios intervalares da matemática computacional
Por
Dimuro, Gracaliz Pereira
Publicado em 1991
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal do Rio Grande do Sul (UFRGS)
2
Bases coletadas
Biblioteca Digital de Teses e Dissertações da UFRGS
2
Autor
Acioly, Benedito Melo
1
Dimuro, Gracaliz Pereira
1
Orientador(a)
Claudio, Dalcidio Moraes
2
Tipo de documento
Tese
1
Dissertação
1
Tipo de acesso
openAccess
2
Idioma
Português
2
Assunto
Analise : Intervalos
2
Análise numérica
1
Assunto em inglês
Categories
2
Domains
2
Scott topology
2
Completation
1
Complete parcial order (cpo)
1
Constructive logic
1
Mais ...
Constructive mathematics
1
Continuous cpo
1
Continuous domains
1
Evaluation functions
1
Geometric logic
1
Interval arithmetic
1
Interval domains
1
Interval extension
1
Interval lambda calculus
1
Interval theory
1
Partial real intervals
1
Quasi-fields
1
Quasi-metric
1
Quasi-metrics
1
Range of function
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...
