电脑体验，效果更佳

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

研究人员

蔡家楣 董春玲 李宣东 欧阳丹彤 沈昌祥 朱关铭 王申康 周小燕

相关术语

约简 无归纳的归纳法 模型检验 证明方法 形式验证 关系数据库 良基关系 Isabelle

标签云