Attività didattiche di
Marco Cadoli
per il
Corso di Dottorato di Ricerca in Ingegneria Informatica
XI ciclo-Corso 4:
Aspetti computazionali della rappresentazione della conoscenza
) (con
Marco Schaerf
)
XIII ciclo-Corso 4:
Complessità in logica e rappresentazione della conoscenza
(con
Georg Gottlob
)
XX ciclo:
Constraint Satisfaction, Complexity, and Logic
(con
Phokion Kolaitis
)
Alla Home page di Marco Cadoli
Ultimo aggiornamento di questo file: Wednesday, 11-May-2005 11:32:03 CEST