01404nlm0 22004091i 450 9900092407804033219783540746218000924078FED01000924078(Aleph)000924078FED0100092407820100926d2007----km-y0itay50------baengDEdrnn-008mamaaFrontiers of Combining SystemsRisorsa elettronica6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedingsedited by Boris Konev, Frank WolterBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434720Documento elettronicoTestoFormato html, pdfKonev,BorisWolter,FrankITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-74621-8EB990009240780403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringFrontiers of Combining Systems772665UNINA