Uma Apresentação dos Principais Sistemas Relacionados à Lógica Clássica
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
-
Lógica Formal
-
Representação do Conhecimento
-
calculo de sequentes
-
logica quantificacional
-
lógica clássica
-
lógica descritiva
-
lógica proposicional
-
sistema lógico
Identidade
identificador BrCris
-
b1de9ab9ec485c8cbb3024adb6801b35
identificador Capes
-
20101941001010025P2-Publication