02039nam0 22004093i 450 AQ1001350620251003044042.0038755789XNew York354055789XBerlin20110927d1992 ||||0itac50 baengdez01i xxxe z01nComputer science logic5. workshop, CSL '91Berne, Switzerland, October 7-11, 1991proceedingsE. Borger ... [et al.] (eds.)Berlin [etc.]Springer1992VIII, 428 p.25 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis626001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis626702 1Goos, GerhardAQ1V006441340LOGICA MATEMATICACONGRESSI1991FIRMILC048479I004ELABORAZIONE 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>CongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Börger, EgonCFIV068138Workshop on computer science logic <5. ; 1991 ; Berna>AQ1V007337070714709Workshop CSL '91 <5. ; 1991 ; Berna>NAPV119015Workshop on computer science logic <5. ; 1991 ; Berna>ITIT-00000020110927IT-BN0095 AQ10013506Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000012355 VMA FD626 v. 626Y 1994070620110927 01Computer science logic1382052UNISANNIO