电脑体验，效果更佳

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

研究人员

李小薪 谢正 叶征 李大法 李洪波 黄雷 齐德昱

相关术语

演绎判定 图表追踪 人工智能 前推 归结 Curry性质 相关逻辑LR 自然演绎

标签云