02055nam0 22003853i 450 AQ1000762020240726073925.0038758241XNew York354058241XBerlin20120120d1994 ||||0itac50 baengdez01i xxxe z01nTemporal logicfirst international conference, ICTL '94Bonn, Germany, July 11-14, 1994proceedingsDov M. Gabbay, Hans Jurgen Ohlbach (eds.)Berlin [etc.]Springerc1994XI, 545 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence827001MIL01329802001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence827Logica simbolicaCongressi1994FIRNAPC242562ILogica matematicaCongressi1994FIRNAPC242563I511.3PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Ohlbach, Hans JurgenAQ1V004027Gabbay, Dov M.UFIV060549International conference on temporal logic <1. ; 1994 ; Bonn>NAPV120566070714646Gabbay, DovUFIV060551Gabbay, Dov M.ICTL '94 <1. ; 1994 ; Bonn>NAPV120567International conference on temporal logic <1. ; 1994 ; Bonn>ITIT-NA007920120120IT-BN0095 AQ10007620Biblioteca Centralizzata di Ateneov. 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;86743 v. 01COLL. ING LNAI 0102 0000022445 B A4(0827 v. 8273 1996021920120120 01Temporal logic1381985UNISANNIO