01653nlm0 22004571i 450 9900092611204033219783642027345000926112FED01000926112(Aleph)000926112FED0100092611220100926d2009----km-y0itay50------baengDEdrnn-008mamaaComputational Logic in Multi-Agent SystemsRisorsa elettronica9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papersedited by Michael Fisher, Fariba Sadri, Michael ThielscherBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435405Documento elettronicoTestoFormato html, pdfFisher,MichaelSadri,FaribaThielscher,MichaelITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-02734-5EB990009261120403321Computer scienceComputer ScienceData structures (Computer science)Data Structures, Cryptology and Information TheoryInformation theoryLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematics of ComputingModels and PrinciplesTheory of ComputationComputational Logic in Multi-Agent Systems772133UNINA