LEADER 01447nam--2200385---450 
001 990001113370203316
005 20180312154826.0
010   $a3-540-44240-5
035   $a000111337
035   $aUSA01000111337
035   $a(ALEPH)000111337USA01
035   $a000111337
100   $a20021209d2002----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aComputer science logic$e16th International workshop, CSL 2002$e11th annual conference of the EACSL$eEdinburgh, Scotland, UK, September 22-25, 2002$eproceedings$fJulian Bradfield (ed.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002
215   $aXII, 611 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2471
410   $12001$aLecture notes in computer science$v2471
610   $aElaboratori elettronici$aProgrammazione$aCongressi$a2002
610   $aLogica matematica$aCongressi$a2002
676   $a005.1
702  1$aBradfield,$bJulian
710 12$aInternational workshop, CSL 2002 <16. ; 2002 ; Edinburgh , Scotland >$0554465
712   $aAnnual conference of the EACSL <11. ; 2002 ; Edinburgh , Scotland >
801  0$aITA$bCBS$gISBD
912   $a990001113370203316
951   $a001 LNCS (2471)$b0027366 CBS$c001$d00113183
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021209$lUSA01$h1241
979   $aPATRY$b90$c20040406$lUSA01$h1717
996   $aComputer science logic$9981268
997   $aUNISA