A Tableau Algorithm for the Numerical Description Logic ALCSCC

Research output: Types of thesis › Master thesis

Contributors

  • Ryny Khy - (Author)

Details

Original languageEnglish
Place of PublicationDresden, Germany
Publication statusPublished - 2021
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.Thesis