resolution-refutation graph 分解反驳图
resolution refutation system 归结反演系统
production system for resolution refutation [计] 归结反演的产生式系统
completeness of resolution refutation strategy [计] 归结反演策略的完整性
control strategy for resolution refutation [自] 对归结反演系统的控制策略
This paper mainly researched the visualization technique in resolution refutation.
本文工作内容为归结反演中的可视化技术研究。
参考来源 - 归结反演中的可视化技术研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐