resources for the TAs and instructors of the AI courses.
The MMT blue notes
The Blue Notes of the SMGloM project
Bachelor Thesis Denis Rochau
Includes Proposal, Thesis and Presentation
we archive completed B.Sc supervision repositories here after a while
papers/manuals on the OAF build system.
FrameIT Paper for CICM16
Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller