computational logic (2006/2007)

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

Course partially running

Course code
4S01115
Name of lecturers
Andrea Masini, Ruggero Ferro
Coordinator
Andrea Masini
Number of ECTS credits allocated
5
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Language of instruction
Italian
Location
VERONA
Period
3rd quadrimester dal Apr 2, 2007 al Jun 8, 2007.
Course news Seminars related to the course

Lesson timetable

Share