Topic | Research area |
---|---|
Automated Reasoning |
Sistemi intelligenti
Artificial intelligence |
Software Verification |
Informatica teorica
Logic |
Strada le Grazie 15
37134 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2022 | Verona University | Credits