KI 2006 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings by ‎Michael Kohlhase | Menrva Books | MenrvaBooks