Deduzione automatica (2009/2010)

Corso a esaurimento

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