resources for the TAs and instructors of the AI courses.

The MMT blue notes

The Blue Notes of the SMGloM project

we archive completed B.Sc supervision repositories here after a while

Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation

papers/manuals on the OAF build system.

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

JavaScript client for Sally