02173nam0 22003733i 450 AQ1000307320240906062520.00387569928New York3540569928Berlin20110927d1993 ||||0itac50 baengdez01i xxxe z01nComputer science logic6. workshop, CSL '92San Miniato, Italy, September 28-October 2, 1992proceedingsE. Borger ... [et al.] (eds.)Berlin [etc.]Springer1993VIII, 439 p.25 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis702Nella prefaz.: Computer science logic workshop001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis702InformaticaCongressi1992FIRNAPC242168ILogica matematicaCongressi1992FIRNAPC242160I004ELABORAZIONE DEI DATI - SCIENZA DEGLI ELABORATORI - INFORMATICA14004.015113Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)22Börger, EgonCFIV068138Workshop on computer science logic <6. ; 1992 ; San Miniato>AQ1V001608756591Workshop CSL '92 <6. ; 1992 ; San Miniato>TO0V164879Workshop on computer science logic <6. ; 1992 ; San Miniato>ITIT-NA007920110927IT-BN0095 AQ10003073Biblioteca 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 0000013215 B FD702 v. 7023 1994090920110927 01Computer science logic1525532UNISANNIO