Metric Temporal Description Logics with Interval-Rigid Names
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17) |
Seiten | 60-76 |
Seitenumfang | 17 |
Publikationsstatus | Veröffentlicht - 2017 |
Peer-Review-Status | Ja |
Externe IDs
researchoutputwizard | legacy.publication#76805 |
---|---|
Scopus | 85029597862 |
ORCID | /0000-0002-4049-221X/work/142247896 |