电脑体验，效果更佳

自动定理证明ATP)图谱-自然科学领域：

研究人员

张学平 邵军力 程翼羽 王元元

相关术语

一阶谓词逻辑 消解原理 自然推理 假设

标签云