A Tableau Algorithm for the Numerical Description Logic ALCSCC

Publikation: Hochschulschrift/Abschlussarbeit › Masterarbeit

Beitragende

  • Ryny Khy - (Autor:in)

Details

OriginalspracheEnglisch
ErscheinungsortDresden, Germany
PublikationsstatusVeröffentlicht - 2021
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.Thesis