|
|||||
|
|
| 2类组合数学问题的算法形式化推导 | |
| 引用本文： | 熊小超,杨庆红.2类组合数学问题的算法形式化推导[J].江西师范大学学报(自然科学版),2019,43(4). |
| 作者姓名： | 熊小超 杨庆红 |
| 作者单位： | 江西师范大学计算机信息工程学院,江西南昌,330022;江西师范大学计算机信息工程学院,江西南昌,330022 |
| 摘 要： | |
| 关 键 词： | 形式化方法 程序规约 组合数学 递推技术 |
| 本文献已被 万方数据 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |