Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
Intuicionismo no Contexto da Computação Científica
Documento
Visão geral
Pesquisas
Identidade
Ver todos
Visão geral
orientado por
Benedito Melo Acióly
tipo
master thesis
data de publicação
1997-01-01
Pesquisas
áreas de investigação
Lógicas e Semântica de Programas
Matemática Intervalar
palavras-chave
Matemática intervalar
lógica
Identidade
identificador BrCris
659bdfeaec02c1dba9babead389c1856