LEADER 01583nam2-2200421li-450 
001 990003140520203316
005 20180918160659.0
010   $a978-3-540-69936-1
035   $a000314052
035   $aUSA01000314052
035   $a(ALEPH)000314052USA01
035   $a000314052
100   $a2002008092008-------y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aLogic, language information and computation$e15th International workshop, WoLLIC 2008$eEdinburgh, UK, July 1-4, 2008$eproceedings$fWilfrid Hodges, Ruy de Queiroz (Eds.)
210   $aBerlin$cSpringer [etc.]$dcopyr. 2008
215   $aVIII, 312 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5110
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aElaborazione elettronica$xCongressi$yEdinburgh$z2008
606 0 $aLinguaggi di programmazione$xCongressi$yEdinburgh$z2008
606 0 $aLogica matematica$xCongressi$yEdinburgh$z2008
676   $a005.131
702  1$aHODGES,$bWilfrid
702  1$aDE QUEIROZ,$bRuy
710 12$aInternational workshop, WoLLIC 2008$d<15.;$f2008;$eRio de Janeiro>$0751912
801  0$aITA$bsalbc$gISBD
912   $a990003140520203316
951   $a006.3 LNAI 5110$b37227/CBS$c001$d00217559
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080905$lUSA01$h1322
979   $aANGELA$b90$c20080929$lUSA01$h1429
979   $aANGELA$b90$c20081127$lUSA01$h1248
996   $aLogic, language information and computation$91511566
997   $aUNISA