ETDs @PUC-Rio
| Título: | A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA | ||
| Autor(es): |
BERNARDO PINTO DE ALKMIM |
||
| Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
| Coorientador (es): |
ALEXANDRE RADEMAKER |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | PPG EM INFORMÁTICA | ||
| Área: | TEORIA DA COMPUTAÇÃO | ||
| Banca: |
EDWARD HERMANN HAEUSLER - PUC-RIO LUIZ CARLOS PINHEIRO DIAS PEREIRA - PUC-RIO ALEXANDRE RADEMAKER - FGV MARIO ROBERTO FOLHADELA BENEVIDES - UFRJ |
||
| Vocabulário: | FORMALIZACAO DE TEXTOS JURIDICOS IALC LEGISLACAO BRASILEIRA LOGICA DE DESCRICAO LOGICA INTUICIONISTA RACIOCINIO JURIDICO |
||
| Apresentação: | 11/MAR/2019 | ||
| Aceitação: | 11/MAR/2019 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | |||