Shelfclass_id |
4.A |
Sortkey |
FORMAL |
Authors |
John-Jules Ch. Meyer, Pierre-Yves Schobbens |
Title |
FORMAL 1997: Formal Models of Agents: ESPRIT Project ModelAge Final Workshop, Selected Papers |
Publisher |
Springer |
Year |
c1999 |
Languages |
eng |
Isbn |
3540670270 |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Volume |
1760 |
Issn |
0302-9743 |
Description |
viii, 251 p. ill. 23 cm. |
Record date |
20090911 |
Location |
New York |
Keywords |
Intelligent agents (Computer software), Formal methods (Computer science) |
Notes |
Papers from workshop held in 1997. |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0812/99462154-d.html |