LEADER 01442nam2-2200385li-450 001 990003329700203316 005 20180918160657.0 010 $a978-3-64202260-9 035 $a000332970 035 $aUSA01000332970 035 $a(ALEPH)000332970USA01 035 $a000332970 100 $a2002009102009-------y0itay0103----ba 101 0 $aeng 102 $aDE 200 1 $aLogic, language information and computation$e16th International workshop, WoLLIC 2009$eTokyo, Japan, june 21-24, 2009$eProceedings$fHiroakira Ono...[et al.] (Eds.) 210 $aBerlin$cSpringer [etc.]$dcopyr. 2009 215 $aXI, 407 p.$cill.$d24 cm 225 2 $aLecture notes in artificial intelligence$v5514 225 2 $12001$aLecture notes in computer science 410 1$1001000315221$12001$aLecture notes in artificial intelligence$v5514 606 0 $aElaborazione elettronica$xCongressi$yTokyo$z2009 606 0 $aLinguaggi di programmazione$xCongressi$yTokyo$z2009 606 0 $aLogica matematica$xCongressi$yTokyo$z2009 676 $a005.131 702 1$aONO,$bHiroakira 710 12$aInternational workshop, WoLLIC 2009$d<16.;$f2009;$eTokyo>$0745918 801 0$aITA$bsalbc$gISBD 912 $a990003329700203316 951 $a006.3 LNAI 5514$b38450/CBS$c001$d00222243 959 $aBK 969 $aSCI 979 $aRSIAV6$b90$c20091009$lUSA01$h0959 996 $aLogic, language information and computation$91488155 997 $aUNISA