TY - DATA AU - Dix,Jürgen AU - Leite,João ED - SpringerLink (Online service) TI - Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers SN - 9783540302001 AV - QA76.9.L63 D59 2005 PY - 2005/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Artificial intelligence KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Mathematical Logic and Formal Languages UR - http://dx.doi.org/10.1007/b104175 ER -