电脑体验，效果更佳

程翼羽图谱-自然科学领域：

相关人员

王元元 张学平 邵军力

研究领域

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

所属机构

浙江大学

标签云