28 Outubro 2016, 18:30 • Antónia Lopes
More about SAT and SMT (aula lecionada pelo Prof. João Marques da Silva).