Proof methods for interval temporal logics : Ph.D. thesis / Davide Bresolin ; supervisore: Angelo Montanari
[Udine], 2007
1 volume
In testa al frontespizio: Università degli studi di Udine, Dipartimento di matematica e informatica, dottorato di ricerca in infomatica, ciclo XIX


Tesi di dottorato. | Lingua: Inglese. | Paese: Italia. | BID: CFI0792082
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TD 000016052 TDR 080 2701 Lettura tesi in sede