A Lógica sobre Leis iALC: Implementação de Provas de Correção e Completude e Proposta de Formalização da Legislação Brasileira
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
-
Formalização de Texto Jurídico
-
IA
-
Law
-
Legislação Brasileira
-
Lógica Descritiva
-
Lógica Intuicionista
-
Raciocínio Jurídico
-
iALC
-
logic
Identidade
identificador BrCris
-
784057c01a258024a712a8a7d9336c8b
identificador Capes
identificador Oasisbr
-
PUC_RIO-1_0b6da4624beed0b6c22b6d7bf4fea0c3