Spara
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.
- Undertitel
- First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
- Upplaga
- 2001 ed.
- ISBN
- 9783540427162
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2001-10-10
- Sidor
- 374
