All Git Users → knowsys

3 open source projects by knowsys

[ Open user page on Github ]

1. Course-Knowledge-Graphs

Test data and example source code for the Knowledge Graphs lecture 2021

✭ 19

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

✭ 20

TeX shell german first-order-logic teaching complexity turing-machine theoretical-computer-science teaching-materials

3. FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

✭ 31

TeX shell automata german regular-expression teaching complexity turing-machine theoretical-computer-science propositional-logic formal-languages teaching-materials

1-3 of 3 user projects