位置：成果数据库 > 获奖 > 获奖详情页
Hanoi塔非递算法的形式化推导和正确性验证
  • 颁奖组织：中国计算机学会
  • 类别：2007年全国理论计算机科学学术年会优秀
  • 级别：优秀论文奖
  • 所属机构名称：江西师范大学
  • 成果类型：获奖
  • 相关项目：基于PAR平台的信息系统应用软件若干共性关键技术研究
作者： 游珍,薛锦云|
同获奖项目
基于PAR平台的信息系统应用软件若干共性关键技术研究
期刊论文 36 会议论文 20 获奖 6
同项目获奖
图遍历的非递归算法生成与形式化证明技术研究
后序遍历二叉树非递归算法的形式化推导及证明
图遍历的非递归算法生成与形式化证明技术研究
后序遍历二叉树非递归算法的形式化推导及证明
Hanoi塔非递算法的形式化推导和正确性验证