LEADER 02439nam0 22004933i 450 001 AQ10003073 005 20251003044040.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 183 1$6z01$anc$2RDAcarrier 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$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 606 $aLOGICA MATEMATICA$xCONGRESSI$x1992$2FIR$3MILC069750$9I 606 $aINFORMATICA$xCONGRESSI$x1992$2FIR$3MILC102840$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 696 $aConvegni$aCongressi e convegni$aScienza degli elaboratori 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aInformatica$yScienza degli elaboratori 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-000000$c20110927 850 $aIT-BN0095 912 $aAQ10003073 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000013215 VMA FD702 v. 702$fY $h19940909$i20110927 977 $a 01 996 $aComputer science logic$91525532 997 $aUNISANNIO