HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 形式化推导论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
分划递推法在Hanoi塔问题上的应用第342-345页
关键词: 分划递推法  hanoi塔  归约  变换  形式化推导  算法  
2006年第04期 《广西科学院学报》
最小生成树算法的PAR方法形式化推导第85-87页
关键词: par方法  形式化推导  归约变换  算法程序  
2006年第21期 《计算机工程》
研究汉语韵母拼合顺序的形式化推导方法第78-81页
关键词: 普通话韵母  形式化推导  密集型因素归纳法  音响顺序原则  
2012年第05期 《大连大学学报》
算法及其时间复杂度可同步形式化推导的方法第681-683页
关键词: 分划递推方法  形式化推导  时间复杂度  递归方程式  
2008年第03期 《计算机应用研究》
三个经典数学问题的形式化开发第1-4页
关键词: par方法  par平台  形式化推导  
2010年第08期 《计算机与现代化》
若干算法程序的形式化推导与生成技术研究第148-153页
关键词: par方法  形式化推导  算法程序  递推关系  
2008年第Z1期 《计算机研究与发展》
一类0-1背包问题算法程序的形式化推导第674-680页
关键词: 形式化推导  高可信  组合优化  
2009年第06期 《武汉大学学报·理学版》
Huffman算法程序的形式化推导第49-51页
关键词: par方法  形式化推导  最优编码  huffman算法  
2010年第05期 《计算机工程》
期刊导航