电脑体验，效果更佳

定理机器证明图谱-社科哲学领域：

研究人员

杨路 邱锦明

相关术语

图灵测试 数学机械化 可读证明 自动推理 数值并行法 例证法 单例实验法

标签云