电脑体验，效果更佳

几何定理机器证明图谱-计算机领域：

研究人员

潘斌 江建国 郭红霞 王晓京 张景中

相关术语

可读证明 任务池 启发函数 搜索法 并行性能量度 数值并行法 标准项代换

标签云