Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
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