02266nam0 22003853i 450 AQ1000783520241220062410.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 matematicaCongressi1993FIRNAPC257780I004ELABORAZIONE DEI DATI - SCIENZA DEGLI ELABORATORI - INFORMATICA14004.015113Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)22Gurevich, 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-NA007920110927IT-BN0095 AQ10007835Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000022495 B FD832 v. 8323 1996021920110927 01Computer science logic1381987UNISANNIO