Calendário de Eventos
|
Defesa de Tese de Doutorado: Kate Cerqueira Revoredo
Sexta-feira, 30 Janeiro 2009, 10:00 - 12:00
Tese de Doutorado
"PFORTE-PI: Revisão de Teorias Probabilísticas de Primeira-ordem através de Exemplos com Invenção de Predicados"
Kate Cerqueira Revoredo
Data: 30 de janeiro de 2009
Horário: 10:00 h
Local: H-324B
Banca Examinadora:
Prof. Gerson Zaverucha - PESC/COPPE/UFRJ (Presidente)
Prof. Mario Roberto Folhadela Benevides - PESC/COPPE/UFRJ
Prof. Vítor M. M. S. Costa - Universidade do Porto (Port
"PFORTE-PI: Revisão de Teorias Probabilísticas de Primeira-ordem através de Exemplos com Invenção de Predicados"
Kate Cerqueira Revoredo
Data: 30 de janeiro de 2009
Horário: 10:00 h
Local: H-324B
Banca Examinadora:
Prof. Gerson Zaverucha - PESC/COPPE/UFRJ (Presidente)
Prof. Mario Roberto Folhadela Benevides - PESC/COPPE/UFRJ
Prof. Vítor M. M. S. Costa - Universidade do Porto (Port