Argomento | Area di ricerca |
---|---|
Ragionamento automatico |
Sistemi intelligenti
Artificial intelligence |
Verifica del software |
Informatica teorica
Logic |