TY - BOOK AU - Rash, J..L. (et-al)(eds) TI - Formal approaches to agent-based systems :Lecture notes in artificial intelligence : Papers SN - 0035404271693 U1 - 006.3 PB - Springer: Tokyo KW - artificial intelligence ER -