Teamwork in multi-agent systems a formal approach

Dades bibliogràfiques
Autor principal:	Dunin-Kȩplicz, Barbara
Altres autors:	Verbrugge, Rineke
Format:	Llibre
Idioma:	English
Publicat:	Hoboken, N.J. Wiley 2010.
Matèries:	Intelligent agents (Computer software). Formal methods (Computer science). Artificial intelligence.