02440nlm0 22006491i 450 9900092593604033219783642004315000925936FED01000925936(Aleph)000925936FED0100092593620100926d2009----km-y0itay50------baengDEdrnn-008mamaaModel Checking and Artificial IntelligenceRisorsa elettronica5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papersedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. WooldridgeBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435348Documento elettronicoTestoFormato html, pdfGoebel,RandyHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Peled,Doron A.Siekmann,JörgSteffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Wahlster,WolfgangWeikum,GerhardWooldridge,Michael J.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-00431-5EB990009259360403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringModel Checking and Artificial Intelligence772652UNINA