TY  - BOOK
AU  - Dunin-Keplicz,Barbara
AU  - Verbrugge,Rineke
TI  - Teamwork in multi-agent systems: a formal approach 
AV  - QA76.76.I58 D98 2010 
PY  - 2010///
CY  - Hoboken, N.J.
PB  - John Wiley
KW  - Intelligent agents (Computer software)
KW  - Formal methods (Computer science)
KW  - Artificial intelligence
KW  - Electronic books
N1  - Elektronik kitap; Includes bibliographical references and index
UR  - http://onlinelibrary.wiley.com/book/10.1002/9780470665237
ER  -