Auflistung Studentische Abschlussarbeiten nach Fachbereich/Einrichtung "Institut für Informatik / Dahlem Center for Machine Learning and Robotics"

Refubium - Repositorium der Freien Universität Berlin

Mikronavigation

Auflistung Studentische Abschlussarbeiten nach Fachbereich/Einrichtung "Institut für Informatik / Dahlem Center for Machine Learning and Robotics"

Dokument
Erscheinungsdatum
MasterarbeitFree Higher-Order Logic - Notion, Definition and Embedding in HOLMakarenko, Irina
2020
MasterarbeitSyntactic Similarity in human-oriented ATPBayer, Jonas
2023
BachelorarbeitTiefeneinschätzung mit einer Monokamera im Kontext des autonomen FahrensKristen, Andor Zenon Amandus
2024