电脑体验，效果更佳

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

研究人员

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

相关术语

自动推理 可读证明 理序 规则体 试探法 机性 子句 推理树

标签云