Automated Deduction (2001/2002)

Course Not running, not visible

Course code
4S00050
Name of lecturer
Gianluigi Bellin
Didactic units
1
Language of instruction
Italian
Period
1st four-month term dal Oct 1, 2001 al Nov 30, 2001.

Lesson timetable