LEADER 01317nam--2200385---450-
001 990003077860203316
005 20080423124724.0
010   $a3-540-28231-9
035   $a000307786
035   $aUSA01000307786
035   $a(ALEPH)000307786USA01
035   $a000307786
100   $a20080310d2005----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $ay---||||001yy
200 1 $aComputer science logic$e19th International workshop, CSL 2005$e14th Annual conference of the EACSL$eOxford, UK, August 2005$eproceedings$fLuke Ong (Ed.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2005
215   $aXI, 565 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v3634
410 0 $12001$aLecture notes in computer science$v3634
606 0 $aInformatica$aCongressi$yOxford$a2005
676   $a005.131
702  1$aONG,$bLuke
710 12$aInternational workshop, CSL 2006$d<19.;$f2005;$eOxford>
710 12$aAnnual conference of the EACSL$d<14.;$f2005;$eOxford>
801  0$aITA$bsalbc$gISBD
912   $a990003077860203316
951   $a001 LNCS 3634$b32255/CBS$c001$d00114558
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080310$lUSA01$h1026
979   $aANGELA$b90$c20080423$lUSA01$h1247
996   $aComputer Science Logic$9771972
997   $aUNISA