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 | ||