电脑体验，效果更佳

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

研究人员

印鉴 何维 石纯一 吕帅 曾云峰 孙吉贵 李莹 李传中

相关术语

计算机辅助教学 命题逻辑 符号逻辑 Tableau 物理智能教育软件 自动检测与修正 检索模型 TableauTAP系统

定理机器证明-兴趣云标签

谢益煌邹胜汤庸杨敏刘玉葆