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

Share