Login / Signup
Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken.
Andreas Steigmiller
Published in:
Ausgezeichnete Informatikdissertationen (2016)
Keyphrases
</>