电脑体验，效果更佳

可读证明图谱-计算机领域：

研究人员

王晓京 钟秀琴 曾振柄 张景中 江建国 符红光 郭远华

相关术语

启发函数 三角函数化简 自动推理 几何定理机器证明 证明树 规则链表 相干命题 自动证明 重言衍推 搜索法 自然推理 组合规则 试探法 标准项代换

标签云