01533nlm0 22004331i 450 9900092383604033219783540741282000923836FED01000923836(Aleph)000923836FED0100092383620100926d2007----km-y0itay50------baengDEdrnn-008mamaaModel Checking and Artificial IntelligenceRisorsa elettronica4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papersedited by Stefan Edelkamp, Alessio LomuscioBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434428Documento elettronicoTestoFormato html, pdfEdelkamp,StefanLomuscio,AlessioITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-74128-2EB990009238360403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringModel Checking and Artificial Intelligence772652UNINA