Lógica no Avião
Grupo de Pesquisa
-
- Visão geral
-
- Pesquisas
-
- Ligações
-
- Identidade
-
- Ver todos
-
Visão geral
application sectors
has leader
tem membro
descrição
Data arquivamento
Pesquisas
research lines
palavras-chave
-
COMPUTABILIDADE
-
LÓGICA UNIVERSAL
-
LÓGICAS MODAIS E MULTIMODAIS
-
LÓGICAS NÃO-CLÁSSICAS
-
TEORIA DA PROVA
-
TEORIA DOS MODELOS
Ligações
Identidade
DGP identifier
identificador BrCris
-
2b5f51ad44807385ea2e4af95657f15a