退出
我的积分:
中文文献批量获取
外文文献批量获取
于洋; 王戟; 陈火旺;
中国国防科技信息中心六室;
北京;
100036;
国防科技大学计算机学院;
湖南;
长沙;
410073;
描述逻辑; 基数约束; 计算复杂性;
机译:限制数量约束的扩展模糊描述逻辑的推理复杂性
机译:具有限定数量限制的扩展模糊描述逻辑的推理复杂性
机译:描述逻辑中有限模型推理的复杂性
机译:不是太大,不是太大...一阶和描述逻辑中的固定域推理的复杂性
机译:简单描述逻辑知识库中的保密保护推理
机译:使用描述逻辑分类来推理后果穿透伤
机译:推理的复杂性与基数限制和命名 在表达描述逻辑
机译:通过扩充描述逻辑推理器进行推理(第1阶段)
机译:具有描述逻辑推理的自动诊断方法,系统和计算机程序
机译:利用描述逻辑推理进行自动诊断的方法,系统和计算机程序
机译:经济推理分析方法,经济推理分析设备,经济推理分析投票系统,经济推理分析程序,存储有经济推理分析程序的存储介质以及推理方法定量计算,融合法律推理分析方法和决策中的经济推理分析方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。