Explore projects
-
SMGloM / computing
Creative Commons Attribution Share Alike 4.0 InternationalBasic concepts about computers and programming
Updated -
SMGloM / logic
Creative Commons Attribution Share Alike 4.0 InternationalAn SMGloM Archive for Logic
Updated -
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 / Jacobs / GenCS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course General Computer Science at Jacobs University.
Updated -
Talks / voll-ki
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / sets
Creative Commons Attribution Share Alike 4.0 InternationalElementary set theory for the SMGloM
Updated -
courses / FAU / IWGS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
Updated -
SMGloM / www
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / graphs
Creative Commons Attribution Share Alike 4.0 InternationalGraph Theory Modules in SMGloM
Updated -
SMGloM / EiDa
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / talks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / General-Terms
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / SymNLProj / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / AI / problems
Creative Commons Attribution Share Alike 4.0 InternationalHomework/Quiz problems for AI lectures
Updated -
sTeX / Documentation
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Civil-Law
Creative Commons Attribution Share Alike 4.0 InternationalSemantic Glossary of the Law
mostly in German -Updated -
courses / FAU / SMAI / problems
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / GDPR
Creative Commons Attribution Share Alike 4.0 InternationalThis is the Repository for the European General Data Protection Regulation.
at least for nor mostly in English -Updated -
courses / IISc / ATC / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / oldtalks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated