Teamwork in multi-agent systems a formal approach

Bibliographische Detailangaben
1. Verfasser:	Dunin-Kȩplicz, Barbara
Weitere Verfasser:	Verbrugge, Rineke
Format:	Buch
Sprache:	English
Veröffentlicht:	Hoboken, N.J. Wiley 2010.
Schlagworte:	Intelligent agents (Computer software). Formal methods (Computer science). Artificial intelligence.