Topic | Research area |
---|---|
Automated Reasoning |
Sistemi intelligenti
Artificial intelligence |
Software Verification |
Informatica teorica
Logic |
CSS e script siti DOL