LEADER 01330nam--2200385---450-
001 990003073070203316
005 20080418140020.0
010   $a3-540-45458-6
035   $a000307307
035   $aUSA01000307307
035   $a(ALEPH)000307307USA01
035   $a000307307
100   $a20080303d2006----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aComputer science logic$e15th International workshop, CSL 2006$e15th Annual conference of the EACSL$eSzeged, Hungary, September 2006$eproceedings$fZoltàn Esik (Ed.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2006
215   $aXII, 626 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4207
410 0 $12001$aLecture notes in computer science$v4207
606 0 $aInformatica$aCongressi$ySzeged$a2006
676   $a005.131
702  1$aESIK,$bZoltàn
710 12$aInternational workshop, CSL 2006$d<20;$eSzeged$f2006;>
710 12$aAnnual Conference of the EACSL$d<15;$f2006;$eSzeged>
801  0$aITA$bCBS$gISBD
912   $a990003073070203316
951   $a001 LNCS 4207$b34322/CBS$c001$d00217132
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080303$lUSA01$h0901
979   $aANGELA$b90$c20080418$lUSA01$h1400
996   $aComputer Science Logic$9771972
997   $aUNISA