sasjonge/bl-lecture-notes

Dies ist eine Mitschrift/Zusammenfassung zur Vorlesung "Beschreibungslogik" (SoSe2016) von Thomas Schneider an der Universität Bremen.

TeX