Modules
Modules running in the period selected: 0.
Click on the module to see the timetable and course details.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
- Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
- Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.
Research groups
-
ARLette - Automated Reasoning Laboratory
-
The group conducts research in Automated Reasoning: satisfiability modulo theories/assignments, theorem proving, decision procedures for satisfiability, model building, rewriting, and applications.
johansson
univr
