电脑体验，效果更佳

数学归纳法图谱-计算机领域：

研究人员

陈绍顺 席吉虎 金涛 颜宪邦 张瑞 屈姿朴 潘月君 李功胜

相关术语

随机矩阵 测试次数 最优化方法 平面图 信息学院 自动定理证明 归纳法推理 硬币

标签云