Automated Deduction (2003/2004)

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
First four-month term dal Sep 29, 2003 al Nov 28, 2003.

Lesson timetable

First four-month term
Day Time Type Place Note
Tuesday 4:30 PM - 6:30 PM lesson Lecture Hall C  
Wednesday 2:30 PM - 3:30 PM lesson Lecture Hall C  
Thursday 10:30 AM - 12:30 PM lesson Lecture Hall C