00989nam a2200253 a 4500 vtls000052626 KUKTEM 20251117150405.0 110406t2010 enka f b 001 0 eng d 9780470699881 201312261459 jamie 201109281115 asmadi 201109261501 asmadi 201107140043 VLOAD 201104061013 safura UMP QA76.76.I58 D865 2010 Dunin-Kȩplicz, Barbara Teamwork in multi-agent systems : a formal approach / Barbara Dunin-Keplicz, Rineke Verbrugge Hoboken, N. J. : John Wiley, c2010 xix, 224 p. : ill. ; 25 cm. Includes bibliographical references and index Intelligent agents (Computer software) Formal methods (Computer science) Artificial intelligence Verbrugge, Rineke 0 0 0 0 20000 20000 2019-09-04 277.97 0 QA76.76.I58 D865 2010 0000059498 2019-09-04 00:00:00 1 277.97 2019-09-04 OPEN VIRTUA40 57399 57405 VTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*5040*6500*6501*6502*7000*9992