LEADER 01232nam0a22002893i 450 001 BVE0365432 005 20201210231856.0 010 $a888420187X 049 $aSBN 100 $a20060321d2004 ||||0itac50 ba 101 | $aeng 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aAdventures in propositional interval temporal logics$fGuido Sciavicco$gsupervisors: Angelo Montanari, Valentin Goranko 210 $aUdine$cForum$d2004 215 $aIX, 106 p.$d24 cm 225 | $aPhD thesis series$fUniversità degli studi di Udine, Dipartimento di matematica e informatica, Dottorato di ricerca in informatica$v3(2004) 300 $aIn cop.: University of Udine. 410 0$0CFI0542112$3CFI0542112$tPhD thesis series$fUniversità degli studi di Udine, Dipartimento di matematica e informatica, Dottorato di ricerca in informatica$v3(2004) 700 1$aSciavicco$b, Guido$3BVEV122089 801 3$aIT$bIT-FI0098$c20060321 850 $aIT-FI0098 960 0$aBibl. Nazionale Centrale Di Firenze$b1 v.$c1 v.$d CFGEN C 19 00064$eCF 005914463 A VMB 1 v.$gGEN C19 00064$h20060321 977 $a CF FMT $aBK FOR $aBK