Abschlussarbeiten betreut durch [[Giuseppina Monterosso]]

From International Center for Computational Logic