Informatica Teorica, Calcolabilita' e Complessita' (1o mod)
LM in Informatica - a.a. 2010/11