Vai al contenuto principale
Pannello laterale
Home
I siti AulaWeb
AulaWeb 2023/24
AulaWeb 2022/23
AulaWeb 2021/22
Master
Dottorati
Scuole di specializzazione
Tutti i siti AulaWeb
Servizi online
UniGe
corsi di studio
genuawifi
webmail
biblioteche
Altro
Italiano (it)
English (en)
Italiano (it)
Login
Home
I siti AulaWeb
Minimizza
Espandi
AulaWeb 2023/24
AulaWeb 2022/23
AulaWeb 2021/22
Master
Dottorati
Scuole di specializzazione
Tutti i siti AulaWeb
Servizi online
UniGe
Minimizza
Espandi
corsi di studio
genuawifi
webmail
biblioteche
Apri indice del corso
DIBRIS PhD Programs
PhD in Computer Science and Engineering (Informatica)
Introduzione
Informazioni sul corso
Boolean Reasoning and Symbolic Reachability 2014
Period:
Summer 2014
Number of hours:
25
Docente:
Enrico Giunchiglia