Missing/wrong data? Edit Wikidata item
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
scientific article published in 2018
Author/s
Work details
Publication date:
2018
Language:
Unknown
Country of origin:
Unknown
Copyright status
Copyright status information is not available for this work. The copyright status depends on the jurisdiction, the author's date of death and the date the work was created or published.
To learn more about copyright terms in different countries, visit the countries and terms page.