Informatica del diritto - parte I
Algorithms and Data Structures
Mathematics for Computer Science
Epistemologia dell'IA
Intelligenza Artificiale: Appunti per un’Introduzione
Feferman su Penrose
A Century of Controversy over the Foundations of Mathematics
Mathematics for Computer Science
Music and Technology: Algorithmic and Generative Music
Theory of Parallel Systems (SMA 5509)