Parole chiave
IA e metodi formali, ragionamento automatico, robotica
Dipartimenti
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi
Contatti
Prof. Armando Tacchella (armando.tacchella@unige.it)
IA e metodi formali, ragionamento automatico, robotica
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi
Prof. Armando Tacchella (armando.tacchella@unige.it)