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