Pesquisa
Áreas de interesse
- Provadores automáticos de teoremas
- Inteligência computacional
- Metodologias Ágeis
- Desenvolvimento de software orientado a aspectos
- Description Logics
Participação em grupos de pesquisa
- Membro do grupo de pesquisa em Inteligência Computacional da UTFPR.
Participação em projetos de pesquisa
Genealogia
My entry in the Mathematical Genealogy, and illustrious ancestors, as computed by David Alber (thanks to Valeria de Paiva for this line).
Auxílio
Como fazer pesquisa
How to write a good research paper (slides), Simon Peyton Jones
How to write a good research paper (video), Simon Peyton Jones
More on research skills, Simon Peyton Jones
Página da professora Mirella M Moro - UFMG — Leia as seções "Pós-Graduação em Computação" e "Artigos Científicos"
Normas ABNT
NBR 10520:2002 - APRESENTAÇÃO DE CITAÇÕES EM DOCUMENTOS
NBR 6023:2002 - Informação e documentação - Referências - Elaboração
Artigos e Páginas Diversos
page revision: 22, last edited: 11 Sep 2010 03:28