top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci






Seleziona tutte
Deseleziona


An introduction to practical formal methods using temporal logic
Espandi opera
...
Computational logic in multi-agent systems
Espandi opera
...
Logics in artificial intelligence
Espandi opera
...