Johannes Fichte
Aus International Center for Computational Logic
Johannes Fichte
Wissenschaftlicher Mitarbeiter Wissensverarbeitung
Neueste Publikationen
Komplette Publikationsliste anzeigenLehrveranstaltungen
- Courses by the KRR Group (WS 2020)
- Knowledge Representation and Reasoning Seminar (SS 2020)
- Parameterized Algorithms and Implementations for SAT and Generalizations (SS 2020)
- Logic (WS 2019)
- SAT-Solving (SS 2019)
weitere Lehrveranstaltungen anzeigen