Explore projects
-
courses / Jacobs / TDM / course
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes for the course Text and Digital Media at Jacobs University
Updated -
courses / Jacobs / CompLog
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational Logic.
Updated -
courses / UHi / graph-theory
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / HNU / WebEng
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / arithmetics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Talks / voll-ki
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / talks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / sets
Creative Commons Attribution Share Alike 4.0 InternationalElementary set theory for the SMGloM
Updated -
SMGloM / TheoCS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / mv
Creative Commons Attribution Share Alike 4.0 InternationalThe language meta-level of SMGloM
Updated -
SMGloM / calculus
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for calculus
Updated -
Talks / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / oldtalks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / topology
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for topology
Updated -
Talks / sTeX
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / VoLL-KI
Creative Commons Attribution Share Alike 4.0 InternationalsTeX Descriptions of the VoLL-KI Systems
Updated -
SMGloM / www
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / mathsoft
Creative Commons Attribution Share Alike 4.0 InternationalA SMGloM archive for mathematical Software
Updated -
SMGloM / cs
Creative Commons Attribution Share Alike 4.0 InternationalTerminology in Computer Science
Updated -
MMT / urtheories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated