Explore projects

The homework assignments and exams for the LBS course at FAU (public)

The problems for the course Computational Logic at Jacobs University

The language meta-level of SMGloM

OMDoc/MMT Tutorial for Mathematicians

Practice (quiz) problems for the course AI-1/2 provided by Praveen; to be moved to the respective archives later after proof-reading

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg