电脑体验，效果更佳

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

研究人员

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

相关术语

启发函数 三角函数化简 自动推理 几何定理机器证明 证明树 规则链表 相干命题 自动证明

正在加载...