01232nam0a22002893i 450 BVE036543220201210231856.0888420187XSBN20060321d2004 ||||0itac50 baengitz01i xxxe z01nAdventures in propositional interval temporal logicsGuido Sciaviccosupervisors: Angelo Montanari, Valentin GorankoUdineForum2004IX, 106 p.24 cmPhD thesis seriesUniversità degli studi di Udine, Dipartimento di matematica e informatica, Dottorato di ricerca in informatica3(2004)In cop.: University of Udine.CFI0542112CFI0542112PhD thesis seriesUniversità degli studi di Udine, Dipartimento di matematica e informatica, Dottorato di ricerca in informatica3(2004)Sciavicco, GuidoBVEV122089ITIT-FI009820060321IT-FI0098 Bibl. Nazionale Centrale Di Firenze1 v.1 v. CFGEN C 19 00064CF 005914463 A VMB 1 v.GEN C19 0006420060321 CFBKBK