Automated Deduction (2002/2003)

Course partially running

Course code
4S00050
Name of lecturer
Gianluigi Bellin
Number of ECTS credits allocated
5
Other available courses
Language of instruction
Italian
Location
VERONA
Period
1st four-month term dal Sep 30, 2002 al Nov 29, 2002.

Lesson timetable

1st four-month term
Day Time Type Place Note
Monday 2:30 PM - 3:30 PM lesson Lecture Hall B  
Tuesday 11:30 AM - 1:30 PM lesson Lecture Hall C  
Wednesday 11:30 AM - 1:30 PM lesson Lecture Hall A