Explore projects

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