The MMT blue notes

We try to enrich SMGloM with syntactic information that will allow us to parse with GF.

Preparation for a Special Interest Group for Maths Linguistics (SIGMathLing)

The (Jekyll generated part) of the kwarc website

Competition between python TicTacToe AIs

Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

Deliverable 4.2

Related Work for FrameIT

papers/manuals on the OAF build system.