Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Basic concepts about computers and programming
-
Terminology in Computer Science
-
Logic Atlas, Version 2
-
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
-
-
-
-
-
The slides and course notes of the course General Computer Science at Jacobs University.
-
The Formalizations for the UFrameIT-based serious game FrameWorld.
-
The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
-
The metadata for the MiKoMH project at MathHub.info
-
-
The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
-
The metadata for the KwarcMH project at MathHub.info
-
FormalCAD Project Content
-
An example for the MathHub Worker
-
Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
-
-