TY - BOOK A1 - International workshop, FAABS 2004 (2004 : Greenbelt, Md.) TI - Formal approaches to agent-based systems ... revised selected papers PB - کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان SN - 103984440 UR /book/103984440/Formal-approaches-to-agentbased-systems-revis/ ER -