Auflistung Studentische Abschlussarbeiten nach Autor*in "Rothgang, Colin"

Refubium - Repositorium der Freien Universität Berlin

Mikronavigation

Auflistung Studentische Abschlussarbeiten nach Autor*in "Rothgang, Colin"

Dokument
Erscheinungsdatum
MasterarbeitAutomated theorem proving for dependent typed theories via a translation to higher-order logicRothgang, Colin
2023