Título: | ALGUNS RESULTADOS EM TEORIA DE PROVA BASEADO EM GRAFOS | ||
Autor(es): |
MARCELA QUISPE CRUZ |
||
Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
Coorientador (es): |
LEW GORDEEV |
||
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 MARCO ANTONIO CASANOVA - PUC-RIO LEW GORDEEV - UT MAURICIO AYALA RINCON - UNB ANJOLINA GRISIDE OLIVEIRA - UFPE ALEX DE VASCONCELLOS GARCIA - IME |
||
Vocabulário: | COMPLEXIDADE DE PROVAS DEDUCAO NATURAL GRAFOS DE PROVA INFERENCIA PROFUNDA LOGICA BI-INTUICIONISTA LOGICA CLASSICA LOGICA MINIMAL IMPLICACIONAL NORMALIZACAO FORTE TEORIA DA PROVA |
||
Apresentação: | 13/JAN/2014 | ||
Aceitação: | 13/NOV/2014 | ||
Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
Número de Chamada: | 004 C957s |