Lógica Computacional 1

Mauricio Ayala-Rincón


Estagiários/Monitores 2018/1


AVISO - (a partir do dia 24.04.2018)

Aulas de laboratório no LINF 4

Material 2018/1

Textbook: M. Ayala-Rincón & Flávio L.C. de Moura, Springer, 2017

Material semestres anteriores

==>> Menção Primeira Prova <<==