Sistemas de Informação Contínuos: Uma Abordagem Lógica e Computacional para a 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
-
Computabilidade
-
Computabilidade no Contínuo
-
Domínios
-
Lógica de Domínios
-
Matemática intervalar
-
Sistemas de Informação
-
Teoria dos Domínios
-
Topologia de Scott
-
semântica denotacional
-
sistemas de informação contínuos
-
topologia de Scott
Identidade
identificador BrCris
-
e50c72bcbe04b27c67814316d78825ee