Teamwork in multi-agent systems a formal approach

Bibliographic Details
Main Author:	Dunin-Kȩplicz, Barbara
Other Authors:	Verbrugge, Rineke
Format:	Book
Language:	English
Published:	Hoboken, N.J. Wiley 2010.
Subjects:	Intelligent agents (Computer software). Formal methods (Computer science). Artificial intelligence.