学科筛选

  • 11. 扩展的COOPER变换

  • 【来源】

    [期刊论文] 《厦门大学学报(自然科学版)》1992年5期

  • 【作者】

    蔡经球  张克均 

  • 【摘要】

    提出一种扩展的Cooper变换模式,用结构归纳法证明了其正确性,并给出应用示例.,In this paper, an expansive Cooper transformation pattern is presented, its correctness is proved by the structural inductive me...

  • 【关键词】

    程序变换  递归程序设计  自动程序设计 

  • 900条记录,
  • 共45页
  • 下页
  • 末页
  • / 45跳转

年度命中数

的趋势