Jasmin Blanchette, Lydia Kondylidou
il y a 2 mois
Creative Commons CC BY 4.0
This document serves as a template for Bachelor or Master theses in the 'Chair of Theoretical Computer Science and Theorem Proving' at LMU. It is provided both in English and German.