Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Logic Atlas, Version 2
-
The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
-
The slides and course notes of the course General Computer Science at Jacobs University.
-
The course materials for the Lecture Logic Based Language Processing at FAU
-
The slides and course notes of the course Computational Logic.
-
The slides and course notes of the course Computational NL Semantics.
-
Graph Theory Modules in SMGloM
-
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
-
The slides and course notes for the course Text and Digital Media at Jacobs University
-
The course on Secure and Dependable Systems.
-
EXPERIMENTAL: Formalizing Mathematical Models as Research Data
-
Active documents with models
-
Subglossary of primes in SMGloM
-
The Formalizations for the UFrameIT-based serious game FrameWorld.
-
-
fragment of MML for testing, using the latest XML export
-
-
The metadata for the MiKoMH project at MathHub.info