09 - Propositions and Inference : Grundlagen der Wissensverarbeitung Menzel, Wolfgang 2017 - Lecture2Go UHH - frei zugänglich
14 - aktive Datenstrukturen Teil 2 : Softwareentwicklung III: Logikprogrammierung Menzel, Wolfgang 2017 - Lecture2Go UHH - frei zugänglich