Data | Ciclo di seminari | |
---|---|---|
2003-05-20 20/05/03 |
Planning under Uncertainty by Model Checking
Orario:
17:30
|
Relatore:
Dr. Paolo Traverso
(IRST, ITC, Trento)
|
|
2003-06-03 03/06/03 |
Description Logics for Ontologies
Orario:
17:30
|
Relatore:
Dr. Ulrike Sattler
(Institut fuer Theoretische Informatik, Technische Universitaet Dresden)
|
Strada le Grazie 15
37134 Verona
Partita IVA01541040232
Codice Fiscale93009870234
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>