电脑体验，效果更佳

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

研究人员

陈意云 王志芳 王振明

相关术语

证明检查器 指针逻辑 指针程序 证明检查算法 验证条件

自动定理证明器-兴趣云标签

张健吴萍郭青刘诚夏传浩