《智能系统学报》
过刊查询页面
关键词中包括
conjunctive query
的文章
1
含有合取查询的时态描述逻辑ALC-LTL模型检测
朱创营, 常亮, 徐周波, 李凤英 2014年6期 [714-722][
摘要
](
3041
)(
2
)
DOI:
10.3969/j.issn.1673-4785.201303034