Abschlussarbeiten betreut durch [[Dmitrii V. Vinogradov]]

From International Center for Computational Logic