电脑体验，效果更佳

消解原理图谱-自然科学领域：

研究人员

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

相关术语

人工智能语言 自动定理证明ATP) 自然推理 制约逻辑 自动定理证明（ATP） 假设 一阶谓词逻辑

标签云