Spar
Formal Approaches to Agent-Based Systems
This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents' mental states, synthesizing agents initially and modelling.
- Undertittel
- First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
- Opplag
- 2001 ed.
- ISBN
- 9783540427162
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 10.10.2001
- Antall sider
- 374
