Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Künstliche Intelligenz - 2009