电脑体验，效果更佳

自然演绎图谱-自然科学领域：

研究人员

程晓春 李大法 张成奇 钟绍春 陈庆锋 欧阳丹彤 李春生

相关术语

公理系统 合一算法 归结 抽象 自动定理证明 一阶逻辑 约束 算子逻辑

标签云