LEADER 02039nam0 22004093i 450 
001 AQ10013506
005 20251003044042.0
010   $a038755789X$bNew York
010   $a354055789X$bBerlin
100   $a20110927d1992    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aComputer science logic$e5. workshop, CSL '91$eBerne, Switzerland, October 7-11, 1991$eproceedings$fE. Borger ... [et al.] (eds.)
210   $aBerlin [etc.]$cSpringer$d1992
215   $aVIII, 428 p.$d25 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v626
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v626$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
606   $aLOGICA MATEMATICA$xCONGRESSI$x1991$2FIR$3MILC048479$9I
676   $a004$9ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA$v14
676   $a004.015113$9Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)$v22
696   $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica <Logica simbolica>
699   $aCongressi$yConvegni
699   $aCongressi$yCongressi e convegni
699   $aLogica matematica$zLogica simbolica
699   $aLogica matematica$yLogica matematica <Logica simbolica>
702  1$aBörger$b, Egon$3CFIV068138
710 12$aWorkshop on computer science logic$d <5.$f ; 1991$e ; Berna>$3AQ1V007337$4070$0714709
791 12$aWorkshop CSL '91$d <5.$f ; 1991$e ; Berna>$3NAPV119015$zWorkshop on computer science logic <5. ; 1991 ; Berna>
801  3$aIT$bIT-000000$c20110927
850   $aIT-BN0095          
912   $aAQ10013506
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000012355  VMA FD626                 v. 626$fY $h19940706$i20110927
977   $a 01
996   $aComputer science logic$91382052
997   $aUNISANNIO