Título: | INFRASTRUCTURE FOR WEB-BASED INTERACTIVE THEOREM PROVERS | ||
Autor(es): |
JEFFERSON DE BARROS SANTOS |
||
Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
Programa: | GRADUATE PROGRAM IN COMPUTER SCIENCE | ||
Área: | DATABASE | ||
Banca: |
DANIEL SCHWABE - PUC-RIO EDWARD HERMANN HAEUSLER - PUC-RIO MARCELO DA SILVA CORREA - UFF ALEX DE VASCONCELLOS GARCIA - IME |
||
Vocabulário: | GRAPHIC INTERFACE THEOREM PROVING WEB |
||
Apresentação: | 24/MAR/2010 | ||
Aceitação: | 24/MAR/2010 | ||
Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
Número de Chamada: | 004 S237inf |