Teamwork in multi-agent systems a formal approach - Dunin-Kȩplicz, Barbara; Verbrugge, Rineke (Hoboken, NJ Wiley, 2010)
Includes bibliographical references and index.
Electronic reproduction.
Keywords: Intelligent agents (Computer software).; Formal methods (Computer science).; Artificial intelligence; Electronic books