Lógica Computacional 1

Mauricio Ayala-Rincón


Estagiários/Monitores 2017/1


Material 2017/2

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

Material semestres anteriores