Explore projects
-
courses / FAU / AI / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / AI / course
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
Updated -
courses / FAU / LBS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the lecture Logic Based Language Processing at FAU
Updated -
courses / FAU / SMAI / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / GenCS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems of the course General Computer Science at Jacobs University.
Updated -
problems / smglom
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / KRMT / course
Creative Commons Attribution Share Alike 4.0 InternationalThe Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen
Updated -
courses / Jacobs / ComSem
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational NL Semantics.
Updated -
courses / Jacobs / CompLog
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational Logic.
Updated -
courses / Jacobs / GenICT / course
Creative Commons Attribution Share Alike 4.0 InternationalThe Course General ICT at Jacobs University
Updated -
Michael Kohlhase / talks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / LBS / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalThe homework assignments and exams for the LBS course at FAU (public)
Updated -
courses / FAU / IWGS / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / SMAI / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Tutorials / Mathematicians
Creative Commons Attribution Share Alike 4.0 InternationalOMDoc/MMT Tutorial for Mathematicians
Updated -
courses / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
meta / kwarcbibs
Creative Commons Attribution Share Alike 4.0 InternationalA math archive with the KWARC bibs from https://github.com/KWARC/bibs
Updated -
Michael Kohlhase / oldtalks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / LBS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe course materials for the Lecture Logic Based Language Processing at FAU
Updated -
SMGloM / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalApplications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
Updated