LEADER 02455nam0 22004933i 450 001 AQ10007835 005 20251003044041.0 010 $a0387582770$bNew York 010 $a3540582770$bBerlin 100 $a20110927d1994 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aComputer science logic$e7. workshop, CSL '93$eSwansea, United Kingdom, September 13-17, 1993$eselected papers$fEgon Borger, Yuri Gurevich, Karl Meinke (eds.) 210 $aBerlin [etc.]$cSpringer$d1994 215 $aVIII, 336 p.$d24 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v832 410 0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v832$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 606 $aInformatica$xCongressi$x1993$2FIR$3NAPC242167$9I 606 $aLogica matematica$xCongressi$x1993$2FIR$3CFIC076346$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$aScienza degli elaboratori 696 $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aInformatica$yScienza degli elaboratori 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 702 1$aGurevich$b, Yuri$3AQ1V004176$4340 702 1$aMeinke$b, Karl$3AQ1V004177$4340 702 1$aBörger$b, Egon$3CFIV068138$4340 710 12$aWorkshop on computer science logic$d <7.$f ; 1993$e ; Swansea>$3NAPV119019$4070$0714648 791 12$aWorkshop CSL '93$d <7.$f ; 1993$e ; Swansea>$3NAPV119020$zWorkshop on computer science logic <7. ; 1993 ; Swansea> 801 3$aIT$bIT-000000$c20110927 850 $aIT-BN0095 912 $aAQ10007835 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000022495 VMA FD832 v. 832$fY $h19960219$i20110927 977 $a 01 996 $aComputer science logic$91381987 997 $aUNISANNIO