01360nam2-2200385---450-99000315883020331620081013095706.0978-3-540-87530-7000315883USA01000315883(ALEPH)000315883USA0100031588320081013d2008----km-y0itay0103----baengDEa---||||001yyComputer science logic22nd International workshop, CSL 200817th Annual conference of the EACSLBertinoro, Italy, September 16-19, 2008proceedingsMichael Kaminski, Simone Martini (Eds.)Berlin [etc.]Springercopyr. 2008XI, 512 p.ill.24 cmLecture notes in computer science52132001Lecture notes in computer science0010003149602001Lecture notes in computer scienceInformaticaCongressiBertinoro2008005.131KAMINSKI,MichaelMARTINI,SimoneInternational workshop, CSL 2008<22.;2008;Bertinoro>602424ITAsalbcISBD990003158830203316001 LNCS 521337496/CBS00100217762BKSCICBAS1020081013USA010957Computer science logic1017868UNISA