heiko-zerr documents

Reasoning Services: Tableau-Beweiser für Beschreibungslogiken – ein Zwischenbericht – Niels Beuck Oliver Gries Roland Illig Felix Lindner Arved Solth Jens
Documents Reasoning Services: Tableau-Beweiser für Beschreibungslogiken – ein Zwischenbericht – Niels Beuck Oliver Gries Roland Illig Felix Lindner Arved Solth Jens