Tallenna
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.
- Alaotsikko
- First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
- Painos
- 2001 ed.
- ISBN
- 9783540427162
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 10.10.2001
- Sivumäärä
- 374
