01442nam2-2200385li-450 99000332970020331620180918160657.0978-3-64202260-9000332970USA01000332970(ALEPH)000332970USA010003329702002009102009-------y0itay0103----baengDELogic, language information and computation16th International workshop, WoLLIC 2009Tokyo, Japan, june 21-24, 2009ProceedingsHiroakira Ono...[et al.] (Eds.)BerlinSpringer [etc.]copyr. 2009XI, 407 p.ill.24 cmLecture notes in artificial intelligence55142001Lecture notes in computer science0010003152212001Lecture notes in artificial intelligence5514Elaborazione elettronicaCongressiTokyo2009Linguaggi di programmazioneCongressiTokyo2009Logica matematicaCongressiTokyo2009005.131ONO,HiroakiraInternational workshop, WoLLIC 2009<16.;2009;Tokyo>745918ITAsalbcISBD990003329700203316006.3 LNAI 551438450/CBS00100222243BKSCIRSIAV69020091009USA010959Logic, language information and computation1488155UNISA