LEADER 02173nam0 22003733i 450 
001 AQ10003073
005 20240906062520.0
010   $a0387569928$bNew York
010   $a3540569928$bBerlin
100   $a20110927d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aComputer science logic$e6. workshop, CSL '92$eSan Miniato, Italy, September 28-October 2, 1992$eproceedings$fE. Borger ... [et al.] (eds.)
210   $aBerlin [etc.]$cSpringer$d1993
215   $aVIII, 439 p.$d25 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v702
300   $aNella prefaz.: Computer science logic workshop
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v702
606   $aInformatica$xCongressi$x1992$2FIR$3NAPC242168$9I
606   $aLogica matematica$xCongressi$x1992$2FIR$3NAPC242160$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
702  1$aBörger$b, Egon$3CFIV068138
710 12$aWorkshop on computer science logic$d <6.$f ; 1992$e ; San Miniato>$3AQ1V001608$0756591
791 12$aWorkshop CSL '92$d <6.$f ; 1992$e ; San Miniato>$3TO0V164879$zWorkshop on computer science logic <6. ; 1992 ; San Miniato>
801  3$aIT$bIT-NA0079$c20110927
850   $aIT-BN0095          
912   $aAQ10003073
950  0$aBiblioteca Centralizzata di Ateneo$bv. 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;3889$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000013215    B FD702                 v. 702$f3 $h19940909$i20110927
977   $a 01
996   $aComputer science logic$91525532
997   $aUNISANNIO