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