000 00653 a2200181 4500
005 20130926155129.0
008 110808t xxu||||| |||| 00| 0 eng d
020 _a9780470699881
080 _a004.775:004.81
_bDUN
100 _aDunin-Keplicz, Barbara
_916785
245 _aTeam work in multi-agent systems
_ba formal approach
_cBarbara Dunin-Keplicz and Rineke Verbrugge
260 _bJohn Wiley
_c2010
_aChichester
300 _axix,224p
490 _aWiley series in agent technology
653 _aIntelligent agents(computer software)
_aFormal methods(computer science)
_aArtificial intelligence
700 _aVerbrugge, Rineke
_916784
942 _cBK
999 _c71373
_d71372