01605nlm0 22004571i 450 9900092540504033219783540699378000925405FED01000925405(Aleph)000925405FED0100092540520100926d2008----km-y0itay50------baengDEdrnn-008mamaaLogic, Language, Information and ComputationRisorsa elettronica15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedingsedited by Wilfrid Hodges, Ruy QueirozBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435110Documento elettronicoTestoFormato html, pdfHodges,WilfridQueiroz,RuyITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-69937-8EB990009254050403321Algorithm Analysis and Problem ComplexityArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceComputer softwareComputing MethodologiesElectronic data processingInformation theoryMathematical Logic and Formal LanguagesMathematics of ComputingTheory of ComputationLogic, Language, Information and Computation772504UNINA