Abschlussarbeiten betreut durch [[Prof. Sergei Obiedkov]]

From International Center for Computational Logic