José de Siqueira
Dr. Sc., Université de Paris-Sud (XI),
França, 1992.
jose at dcc.ufmg.br
Áreas de
Interesse em
Inteligência Artificial
- Aprendizagem Simbólica Automática
- Prova Automática de Teoremas
- Programação em Lógica e com Restrições
Cursos (1º
semestre de 2015):
Algoritmos e Estruturas de Dados II
Plano
de Curso
Programação de Computadores
Plano
de Curso