TY - GEN T1 - Teamwork in multi-agent systems a formal approach A1 - Dunin-Kȩplicz, Barbara. A2 - Verbrugge, Rineke. LA - English PP - Hoboken, N.J. PB - John Wiley YR - 2010 UL - https://colectivo.uloyola.es/Record/ELB178614 OP - 224 CN - QA76.76.I58 D98 2010 SN - 9780470665183 (electronic bk.) KW - Intelligent agents (Computer software) KW - Formal methods (Computer science) KW - Artificial intelligence. KW - Electronic books. ER -