01450nbm0a2200337 450 BNI00244332011061612410332IT2007-3272TTD200720081020d2003 |||y0itay50 baengITm 00|||Adventures in propositional interval temporal logicsph. d. thesiscandidate: Guido Sciaviccosupervisor: Angelo MontanariValentin Goranko (co-supervisor)referee: Claudio Bettini [et al.]December 29, 2003.1 v.In testa al front.: Università€ degli studi di Udine, Dipartimento di matematica e informatica, dottorato di ricerca in informatica00421ELABORAZIONE DEI DATIINF/01InformaticaSciavicco, GuidoBVEV122089Montanari, AngeloCFIV202132Goranko, ValentinBNIV035720Bettini, Claudio <1963- >BNIV035719Università€ degli studi di Udine : Dipartimento di matematica e informaticaCFIV198876ITBNI20100111RICAdBibl. Nazionale Centrale FirenzeCFTDR 2006 03984CF9806039845 20190806TDR 2006 03984NBibl. Nazionale Centrale Di Firenze CFTDR 2006 03984 CFTVD980603984 L NOFORTE CFTDTD