computational logic (2006/2007)

Course partially running

Course code
4S01115
Name of lecturers
Andrea Masini, Ruggero Ferro
Coordinator
Andrea Masini
Number of ECTS credits allocated
5
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Language of instruction
Italian
Period
3rd quadrimester dal Apr 2, 2007 al Jun 8, 2007.

Lesson timetable