Deduzione automatica (2009/2010)

  1. Home
  2. Didattica
  3. Corsi di laurea magistrale / specialistica (a esaurimento / disattivati)
  4. Laurea specialistica in Informatica
  5. Insegnamenti

Corso a esaurimento

Codice insegnamento
4S00050
Crediti
5
Avvisi relativi al corso Seminari relativi al corso
L'insegnamento è mutuato dall'insegnamento Ragionamento automatico (2009/2010) - Laurea magistrale in Ingegneria e scienze informatiche
Condividi