Agostino Dovier

Agostino Dovier

professore ordinario

Didattica

Anno accademico 2018-2019

Anno accademico 2017-2018

  • AUTOMATED REASONING
    Corso di studio: Computer Science (LM) | CFU: 6 | Periodo: Primo Periodo
  • FONDAMENTI DELL'INFORMATICA
    Corso di studio: Informatica (L) | CFU: 9 | Periodo: Secondo Periodo
  • TEORIA DELL'INFORMAZIONE E CRITTOGRAFIA
    Corso di studio: Informatica (LM) | CFU: 6 | Periodo: Primo Periodo
  • RAGIONAMENTO AUTOMATICO
    Corso di studio: Informatica (LM) | CFU: 6 | Periodo: Primo Periodo

Anno accademico 2016-2017

  • FONDAMENTI DELL'INFORMATICA
    Corso di studio: Informatica (L) | CFU: 9 | Periodo: Secondo Periodo
  • CONSTRAINT PROGRAMMING AND PLANNING
    Corso di studio: Informatica (LM) | CFU: 6 | Periodo: Primo Periodo
  • AUTOMATED REASONING
    Corso di studio: Informatica (LM) | CFU: 6 | Periodo: Primo Periodo