Abschlussarbeiten betreut durch [[Markus Krötzsch]]
Aus International Center for Computational Logic
Abschlussarbeiten betreut durch Markus Krötzsch
{{#ifloggedin:Abschlussarbeiten hinzufügen}}
Diplomarbeiten
Alex Ivliev
[[Thema3428|]]
Abgabe: 9 Dezember 2021, Betreuer: Markus Krötzsch
Lukas Gerlach
[[Thema3511|]]
Abgabe: 29 August 2021, Betreuer: Markus Krötzsch
Masterarbeiten
Serghei Stratan
[[Thema3456|]]
Abgabe: 7 März 2016, Betreuer: Markus Krötzsch
Bachelorarbeiten
Georg Wild
[[Thema3412|]]
Abgabe: 4 September 2014, Betreuer: Markus Krötzsch
Studienarbeit
Lukas Gerlach
[[Thema3510|]]
Abgabe: 31 März 2021, Betreuer: Markus Krötzsch, David Carral
Lukas Gerlach
[[Thema3509|]]
Abgabe: 30 September 2020, Betreuer: Markus Krötzsch, David Carral
<menu>Abschlussarbeiten</menu>