01595nlm0 22004571i 450 9900092622604033219783642042225000926226FED01000926226(Aleph)000926226FED0100092622620100926d2009----km-y0itay50------baengDEdrnn-008mamaaFrontiers of Combining SystemsRisorsa elettronica7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedingsedited by Silvio Ghilardi, Roberto SebastianiBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435749Documento elettronicoTestoFormato html, pdfGhilardi,SilvioSebastiani,RobertoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-04222-5EB990009262260403321Algorithm Analysis and Problem ComplexityArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceComputer softwareLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringFrontiers of Combining Systems772665UNINA