LEADER 01360nam2-2200385---450-
001 990003158830203316
005 20081013095706.0
010   $a978-3-540-87530-7
035   $a000315883
035   $aUSA01000315883
035   $a(ALEPH)000315883USA01
035   $a000315883
100   $a20081013d2008----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aComputer science logic$e22nd International workshop, CSL 2008$e17th Annual conference of the EACSL$eBertinoro, Italy, September 16-19, 2008$eproceedings$fMichael Kaminski, Simone Martini (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2008
215   $aXI, 512 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5213
410 0 $12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aInformatica$aCongressi$yBertinoro$a2008
676   $a005.131
702  1$aKAMINSKI,$bMichael
702  1$aMARTINI,$bSimone
710 12$aInternational workshop, CSL 2008$d<22.;$f2008;$eBertinoro>$0602424
801  0$aITA$bsalbc$gISBD
912   $a990003158830203316
951   $a001 LNCS 5213$b37496/CBS$c001$d00217762
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20081013$lUSA01$h0957
996   $aComputer science logic$91017868
997   $aUNISA