电脑体验，效果更佳

自然推理图谱-自然科学领域：

研究人员

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

相关术语

自动定理证明（ATP） 一阶谓词逻辑 消解原理 假设 自动定理证明ATP)

标签云