Teamwork in multi-agent systems a formal approach

Библиографические подробности
Главный автор:	Dunin-Kȩplicz, Barbara
Другие авторы:	Verbrugge, Rineke
Формат:	‌
Язык:	English
Опубликовано:	Hoboken, N.J. Wiley 2010.
Предметы:	Intelligent agents (Computer software). Formal methods (Computer science). Artificial intelligence.