Dunin-Keplicz, Barbara

Team work in multi-agent systems a formal approach Barbara Dunin-Keplicz and Rineke Verbrugge - Chichester John Wiley 2010 - xix,224p - Wiley series in agent technology .

9780470699881

Intelligent agents(computer software) Formal methods(computer science) Artificial intelligence

004.775:004.81 / DUN