resources for the TAs and instructors of the AI courses.
The Blue Notes of the SMGloM project
The MMT blue notes
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