《智能系统学报》 过刊查询页面

    作者中包括 XU Zhoubo 的文章

1 含有合取查询的时态描述逻辑ALC-LTL模型检测
朱创营, 常亮, 徐周波, 李凤英 2014年6期 [714-722][摘要](3041)(2)