Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Linguagens de Representação do Conhecimento
-
Representação do Conhecimento
-
Semântica Algébrica
-
Sistemas de Inferência de Tipos
-
Tipos Abstratos de Dados
Identidade
identificador BrCris
-
3d22e2e291e4d37d614b6b9ff43a8df2
identificador Oasisbr
-
URGS_f53dcd669b2fd9929ec15135801f607e