Distinguished Dissertations 2005-2006 22 Agosto 2006 Premio GULP 2005-2006 per la migliore Tesi di Dottorato su argomenti di Logica Computazionale “Marco Cadoli” Read more →