Automated Deduction (2009/2010)

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

Course partially running

Course code
4S00050
Credits
5
Course news Seminars related to the course
The course is given by Automated reasoning (2009/2010) - Master's degree in Computer Science and Engineering
Share