Teamwork in multi-agent systems a formal approach

Dettagli Bibliografici
Autore principale:	Dunin-Kȩplicz, Barbara
Altri autori:	Verbrugge, Rineke
Natura:	Libro
Lingua:	English
Pubblicazione:	Hoboken, N.J. Wiley 2010.
Soggetti:	Intelligent agents (Computer software). Formal methods (Computer science). Artificial intelligence.