分析表法

（计算机科学技术）
分析表法（analytic tableaux），计算机科学技术名词，通过分解公式结构，证明在分解的每一条路上都走不通（产生使公式取值为假的节点）来进行自动推理（否证该公式）的一种方法。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》