Research areas involved in the project | |
---|---|
Algebra, Geometria e Logica Matematica
Semantics and reasoning (DI) |
|
Algoritmi, Logica e teoria della computazione
Semantics and reasoning (DI) (DI) |
|
Ingegneria del Software e verifica formale
Semantics and reasoning (DI) |
******** CSS e script comuni siti DOL - frase 9957 ********p>