Formal Approaches to Agent-Based Systems: Proc./First Intern. Workshop, FAABS 2000, Greenbelt, MD, USA, April 2000

В2.1, А3.54, Б2.2, Б2.14.

Formal Approaches to Agent-Based Systems: Proc./First Intern. Workshop, FAABS 2000, Greenbelt, MD, USA, April 2000Ed. by Rash J. L., Rouff C. A., Truszkowski W., Gordon D..-Berlin, Heidelberg.: Springer, 2001.-Vol. 1871.-369 p.-(Lecture Notes in Artificial Intelligence).