TY - GEN T1 - Teamwork in multi-agent systemsa formal approach / DA - 2010. CY - Hoboken, N.J. : AU - Dunin-Kȩplicz, Barbara. AU - Verbrugge, Rineke. CN - Proquest Ebook Central Academic Complete CN - QA76.76.I58 PB - John Wiley, PP - Hoboken, N.J. : PY - 2010. ID - 369216 KW - Intelligent agents (Computer software) KW - Formal methods (Computer science) KW - Artificial intelligence. TI - Teamwork in multi-agent systemsa formal approach / LK - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10389590 UR - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10389590 ER -