LEADER 01450nbm0a2200337   450 
001 BNI0024433
005 2011061612410332
020   $aIT$b2007-3272T
049   $aTD2007
100   $a20081020d2003    |||y0itay50      ba
101 | $aeng
102   $aIT
105   $am    00|||
200 1 $aAdventures in propositional interval temporal logics$eph. d. thesis$fcandidate: Guido Sciavicco$gsupervisor: Angelo Montanari$gValentin Goranko (co-supervisor)$greferee: Claudio Bettini [et al.]
210   $dDecember 29, 2003.
215   $a1 v.
300   $aIn testa al front.: Universita? degli studi di Udine, Dipartimento di matematica e informatica, dottorato di ricerca in informatica
676   $a004$v21$9ELABORAZIONE DEI DATI
689   $aINF/01$9Informatica
700  1$aSciavicco$b, Guido$3BVEV122089
702  1$aMontanari$b, Angelo$3CFIV202132
702  1$aGoranko$b, Valentin$3BNIV035720
702  1$aBettini$b, Claudio$f <1963-    >$3BNIV035719
712 02$aUniversita? degli studi di Udine $b: Dipartimento di matematica e informatica$3CFIV198876
801  0$aIT$bBNI$c20100111$gRICA
802   $ad
950  0$aBibl. Nazionale Centrale Firenze$dCFTDR 2006 03984$eCF9806039845            20190806$fTDR 2006 03984$hN
960  0$aBibl. Nazionale Centrale Di Firenze$d CFTDR 2006 03984                 $eCFTVD980603984                                L       $sNOFORTE
977   $a CF
FMT   $aTD
FOR   $aTD