The complexity of finite model reasoning in description logics

The complexity of finite model reasoning in description logics
复制标题

描述逻辑中有限模型推理的复杂性

DOI:
--
复制
发表时间:
2005
影响因子:
1
通讯作者:
Lidia Tendera
Lidia Tendera
中科院分区:
计算机科学4区
文献类型:
--
作者:
C. Lutz;U. Sattler;Lidia Tendera

文献摘要

被引文献

相似文献