TY - BOOK AU - Rouff,Christopher A. TI - Agent technology from a formal perspective SN - 1852339470 PY - 2006/// CY - London PB - Springer KW - Intelligent agents (Computer software) KW - Design ER -