Foglio delle Decisioni
16
16.
03.
2023
03.
2023
Marzo
2023
2023
02
02.
03.
2023
03.
2023
Marzo
2023
2023
CTL* Verification and Synthesis using Existential Horn Clauses
Facoltà di scienze informaticheIdEP Seminar, Roberto Nisticò - "Workplace Peer Effects in Fertility Decisions"
Facoltà di scienze economicheInteraction Substitution for Mobile Games Accessibility and Exergaming
Facoltà di scienze informatiche