Provas de Mestrado em Lógica Computacional
Lic. Tatiana Tarasova
Presidente
Doutor José Júlio Alves Alferes, Professor Catedrático da Faculdade de
Ciências e Tecnologia da Universidade Nova de Lisboa
Vogais
Doutor Paulo Miguel Torres Duarte Quaresma, Professor Associado da
Universidade de Évora;
Doutor Alfredo Gabaldon, Investigador Auxiliar da Faculdade de Ciências e
Tecnologia da Universidade Nova de Lisboa