GitHub repository: sasjonge/bl-lecture-notes
Primary language: TeX
Created: 2017-02-08T12:23:14Z
Description: Dies ist eine Mitschrift/Zusammenfassung zur Vorlesung "Beschreibungslogik" (SoSe2016) von Thomas Schneider an der Universität Bremen.