Mario Benevides
Home
Research
Publications
Students
Classes
(current)
Classes
Mario Benevides' classes
Graduation classes
Algoritmos Distribuídos
Inteligência Artificial
Lógica
Lógica em Programação
Tóp. Esp. em IA / Teoria dos Jogos
Post-graduation classes
Concorrência
Lógica Modal
Teoria dos Jogos