Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken

Andreas Steigmiller. Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2016. Volume D-17 of LNI, pages 259-268, GI, 2016.

Abstract

Abstract is missing.