RACIOCINIO AUTOMATICO EM SITUACOES DE CONHECIMENTO INCOMPLETO E INCONSISTENTE
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
LOGICA PARACONSISTENTE
-
PROVA AUTOMATICA DE TEOREMAS
-
RACIOCINIO NAO-MONOTONICO
Identidade
identificador BrCris
-
ed363666d23e1bcf89ece928f92b7b16