Teamwork in multi-agent systems a formal approach

Bibliografiska uppgifter
Huvudupphovsman:	Dunin-Kȩplicz, Barbara
Övriga upphovsmän:	Verbrugge, Rineke
Materialtyp:	Bok
Språk:	English
Publicerad:	Hoboken, N.J. Wiley 2010.
Ämnen:	Intelligent agents (Computer software). Formal methods (Computer science). Artificial intelligence.