电脑体验，效果更佳

自动定理证明图谱-计算机领域：

研究人员

石青云 缪淮扣 刘瑛睿 金涛 李迎豪 朱梧槚 王宗亮 宫宁生

相关术语

中介逻辑 吴方法 立体视觉 表推演方法 完备性 数学归纳法 一阶谓词 归纳法推理

标签云