Automated Deduction (2003/2004)

  1. Home
  2. Teaching
  3. Master’s degrees (no longer running)
  4. Masters in Computer Science
  5. Insegnamenti

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.
Course news Seminars related to the course

Lesson timetable

Share