电脑体验，效果更佳

演绎证明图谱-自然科学领域：

研究人员

武修文 张广泉 王青建 王玥

相关术语

数学思想 形式化方法 规约 模型检测 数学史 希腊数学 验证

标签云