Tell your friends about this item:
Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers - Lecture Notes in Computer Science J L Rash 2001 edition
Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers - Lecture Notes in Computer Science
J L Rash
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.
374 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 10, 2001 |
| ISBN13 | 9783540427162 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 374 |
| Dimensions | 155 × 235 × 20 mm · 889 g |
| Language | German |
| Editor | Gordon, Diana |
| Editor | Hinchey, Michael G. |
| Editor | Rash, James L. |
| Editor | Rouff, Christopher A. |
| Editor | Truszkowski, Walter |