Instituto de
Matemática
Departamento de
Ciência da Computação
MAB235: Lógica em Programação
MAB508: Inteligência Artificial
COPPE
Departamento de
Engenharia de Sistemas e Computação
CPS862: Tópicos Especiais em Computação de Alto Desempenho
COS740: Inteligência Artificial
COS873: Tópicos Especiais em Processamento Paralelo
COS840: Tópicos Especiais em Inteligência Artificial
COS773: Sistemas Operacionais
COS761: Programação Concorrente
Lógica (2006-1)