Qualificação de mestrado do discente Eduardo Henke, dia 26/03 as 14:00.Qualificação de mestrado do discente Eduardo Henke, dia 26/03 as 14:00. Título: Towards Verified Logic Programming: Formalizing Minikanren Unification Banca: Prof. Dr. Rodrigo Geraldo Ribeiro; Prof. Dr. Elton Máximo Cardoso |
PPGCC - Programa de Pós-Graduação em Ciência da Computação
Departamento de Computação | ICEB | Universidade Federal de Ouro Preto
Campus Universitário Morro do Cruzeiro | CEP 35400-000 | Ouro Preto - MG, Brasil
Telefone: +55 31 3559-1692 | secretaria.ppgcc@ufop.edu.br
