Argomento | Area di ricerca | ISI-CRUI |
---|---|---|
Ragionamento automatico |
Sistemi intelligenti
Computing methodologies - Artificial intelligence |
Computer Science & Engineering |
Verifica del software |
Informatica teorica
Theory of computation - Logic |
Computer Science & Engineering |