Universita` degli studi di Verona

Facolta` di Scienze FF. MM. NN.

Logica, Complessita', Intelligenza Artificiale

Programma del corso Complessita` Computazionale dvi file,
I quadrimestre 1999-2000

Programma del corso di Intelligenza Artificiale, Deduzione Meccanizzata dvi file,
I quadrimestre 1999-2000

Programma del corso di Computational Logic, pdf file,
I quadrimestre 2008-09

Esercizi di ricapitolazione per un corso di Elements of Computability,
insegnato al QMW College, University of London, UK, II quadrimestre 2000-2001.
Mock-Exam (pdf file) (ps file)

Collaborazioni Erasmus