归结语义树

（计算机科学技术）
归结语义树（resolution semantic tree），计算机科学技术名词，用归结法证明定理时，相应的子句集中出现的所有原子命题构成的二叉树。它用于说明归结过程。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》