Explore projects

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

JavaScript client for Sally