电脑体验，效果更佳

证明树图谱-计算机领域：

研究人员

郭瑞标 鲁汉榕 蒋庆培 曾振柄 郭远华

相关术语

自动推理 可读证明 理序 规则体 试探法 机性 子句 推理树 树简化 ANDOR 结点 二元树 父结点 重言衍推 子结点 逻辑程序

标签云