TY - BOOK AU - Hinchey Michael G Ed. AU - Rash James L Ed. AU - Rouff Christopher A Ed. AU - Truszkowski Walter F Ed. TI - Formal approaches to agent-based systems T2 - Lecture notes in computer science: lecture notes in artificial intelligence; 3228 SN - 3540244220 (pbk) U1 - D65,8(B):(S:72), P5 TD PY - 2005/// CY - Berlin PB - Springer-Verlag KW - Agent management systems KW - Artifical intelligence KW - Computer Science N1 - Includes bibliographical references.; Index p291 ER -