02455nam0 22004933i 450 AQ1000783520251003044041.00387582770New York3540582770Berlin20110927d1994 ||||0itac50 baengdez01i xxxe z01nComputer science logic7. workshop, CSL '93Swansea, United Kingdom, September 13-17, 1993selected papersEgon Borger, Yuri Gurevich, Karl Meinke (eds.)Berlin [etc.]Springer1994VIII, 336 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis832001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis832702 1Goos, GerhardAQ1V006441340InformaticaCongressi1993FIRNAPC242167ILogica matematicaCongressi1993FIRCFIC076346I004ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA14004.015113Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniScienza degli elaboratoriConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniInformaticaScienza degli elaboratoriCongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Gurevich, YuriAQ1V004176340Meinke, KarlAQ1V004177340Börger, EgonCFIV068138340Workshop on computer science logic <7. ; 1993 ; Swansea>NAPV119019070714648Workshop CSL '93 <7. ; 1993 ; Swansea>NAPV119020Workshop on computer science logic <7. ; 1993 ; Swansea>ITIT-00000020110927IT-BN0095 AQ10007835Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000022495 VMA FD832 v. 832Y 1996021920110927 01Computer science logic1381987UNISANNIO