Automated Deduction (2002/2003)

  1. Home
  2. Teaching
  3. Master’s degrees (no longer running)
  4. Masters in Intelligent and Multimedia Systems
  5. Insegnamenti

Course partially running

Course code
4S00050
Credits
5
Course news Seminars related to the course
The course is given by Automated Deduction (2002/2003) - Masters in Computer Science
Share