02439nam0 22004933i 450 AQ1000307320251003044040.00387569928New York3540569928Berlin20110927d1993 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierComputer 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. Hartmanis702702 1Goos, GerhardAQ1V006441340LOGICA MATEMATICACONGRESSI1992FIRMILC069750IINFORMATICACONGRESSI1992FIRMILC102840I004ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA14004.015113Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>ConvegniCongressi e convegniScienza degli elaboratoriCongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniInformaticaScienza degli elaboratoriBö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-00000020110927IT-BN0095 AQ10003073Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000013215 VMA FD702 v. 702Y 1994090920110927 01Computer science logic1525532UNISANNIO