Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
Título: INFRAESTRUTURA PARA PROVADORES INTERATIVOS DE TEOREMAS NA WEB
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: PPG EM INFORMÁTICA
Área: BANCO DE DADOS
Banca: DANIEL SCHWABE - PUC-RIO
EDWARD HERMANN HAEUSLER - PUC-RIO
MARCELO DA SILVA CORREA - UFF
ALEX DE VASCONCELLOS GARCIA - IME
Vocabulário: INTERFACE GRAFICA
PROVA DE TEOREMAS
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