Topic | Research area |
---|---|
Automated Reasoning |
Intelligenza Artificiale
Artificial intelligence |
Software Verification |
Ingegneria del Software e verifica formale
Logic |
******** CSS e script comuni siti DOL - frase 9957 ********p>