LEADER 02055nam0 22003853i 450 
001 AQ10007620
005 20240726073925.0
010   $a038758241X$bNew York
010   $a354058241X$bBerlin
100   $a20120120d1994    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aTemporal logic$efirst international conference, ICTL '94$eBonn, Germany, July 11-14, 1994$eproceedings$fDov M. Gabbay, Hans Jurgen Ohlbach (eds.)
210   $aBerlin [etc.]$cSpringer$dc1994
215   $aXI, 545 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v827
410  0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v827
606   $aLogica simbolica$xCongressi$x1994$2FIR$3NAPC242562$9I
606   $aLogica matematica$xCongressi$x1994$2FIR$3NAPC242563$9I
676   $a511.3$9PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v22
702  1$aOhlbach$b, Hans Jurgen$3AQ1V004027
702  1$aGabbay$b, Dov M.$3UFIV060549
710 12$aInternational conference on temporal logic$d <1.$f ; 1994$e ; Bonn>$3NAPV120566$4070$0714646
790  1$aGabbay$b, Dov$3UFIV060551$zGabbay, Dov M.
791 12$aICTL '94$d <1.$f ; 1994$e ; Bonn>$3NAPV120567$zInternational conference on temporal logic <1. ; 1994 ; Bonn>
801  3$aIT$bIT-NA0079$c20120120
850   $aIT-BN0095          
912   $aAQ10007620
950  0$aBiblioteca Centralizzata di Ateneo$bv. 475;617;624;633;659-660;667;671;679;681;689;695;698-699;723;727-728;743-746;754;764;766;770;784;795;798;804;808;810;814;822;827;830;833;835;837-838;861-862;867$c43 v.$d 01COLL.     ING                     LNAI$e 0102 0000022445    B A4(0827               v. 827$f3 $h19960219$i20120120
977   $a 01
996   $aTemporal logic$91381985
997   $aUNISANNIO