LEADER 01447nam--2200385---450 001 990001845450203316 005 20180312154827.0 010 $a3-540-40801-0 035 $a000184545 035 $aUSA01000184545 035 $a(ALEPH)000184545USA01 035 $a000184545 100 $a20040713d2003----km-y0ITAy0103-------ba 101 0 $aeng 102 $aDE 200 1 $aComputer science logic$e17. International workshop, CSL 2003$e12. annual conference of the EACSL$e8. Kurt Gödel Colloquium, KGC 2003$eVienna, Austria, August 2003$eproceedings$fMatthias Baaz, Johann A. Makowsky (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2003 215 $aXII, 590 p.$cill.$d24 cm 225 $aLecture notes in computer science$v2803 410 $12001$aLecture notes in computer science$v2803 610 $aElaboratori elettronici$aProgrammazione$aCongressi$a2003 610 $aLogica matematica$aCongressi$a2003 676 $a005.1 702 1$aBAAZ,$bMatthias 702 1$aMAKOWSKY,$bJohann A. 710 12$aInternational workshop, CSL 2002 <17. ; 2003 ; Vienna , Austria >$0564267 712 12$aAnnual conference of the EACSL <12. ; 200. ; Vienna , Austria > 801 0$aITA$bCBS$gISBD 912 $a990001845450203316 951 $a001 LNCS 2803$b0030237/CBS$c001$d00114100 959 $aBK 969 $aSCI 979 $aRIVELLI$b90$c20040713$lUSA01$h0945 996 $aComputer science logic$9949577 997 $aUNISA