01582nam2-2200433li-450 99000020015020331620180312154900.03-540-58241-X0020015USA010020015(ALEPH)000020015USA01002001520001109d1994----km-y0itay0103----baengGWTemporal logicfirst International conference ICTL'94Bonn, Germany, July 11-14, 1994proceedingsDov M. Gabbay (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994XI, 545 p.ill.24 cmLecture notes in artificial intelligence827serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressibonn1994elaboratori elettroniciprogrammazionecongressi1994logica matematicacongressi19940051Programmazione. Tecnica di sviluppo dei programmiGabbay,Dov M.International conference ICTL'941.Bonn1994754936Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200150203316006.3 LNIA (827)0017409006.300106630BKSCI1999020120001110USA011713ALANDI9020010328USA01175820020403USA011627PATRY9020040406USA011614Temporal logic1519421UNISA