Relatórios Anuais
CTC | Informática
SISTEMA DE RECUPERAÇÃO DE INFORMAÇÕES BUSC@NIMA
Aluna: Mariana Duarte de Araujo Salgueiro
Orientador: Prof. Sergio Lifschitz
UM ESTUDO SOBRE FUNDAMENTAÇÃO EM PROVA INTERATIVA DE TEOREMAS
Aluno: Luiz Carlos Rumbelsperger Viana
Orientador: Prof. Edward Hermann Haeusler
ESTUDO DO LIVRO "TYPES AND PROGRAMMING LANGUAGES", DE BENJAMIN C. PIERCE
Aluno: Victor Ribeiro Martins
Orientador: Prof. Roberto Ierusalimschy