电脑体验，效果更佳

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

研究人员

陈绍顺 席吉虎 金涛 颜宪邦 张瑞 屈姿朴 潘月君 李功胜 李秀森 宁伟华 刘瑛睿

相关术语

随机矩阵 测试次数 最优化方法 平面图 信息学院 自动定理证明 归纳法推理 硬币 乘法交换律 图论 换色法 4-可着色 山东理工大学 防御矩阵

标签云