您的位置: 专家智库 > >

潘晓玲

作品数:2 被引量:0H指数:0
供职机构:广西师范大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇程序设计
  • 1篇增强型
  • 1篇自动程序设计
  • 1篇自动化

机构

  • 1篇广西师范大学
  • 1篇北京轻工业学...

作者

  • 2篇潘晓玲
  • 2篇罗旭东
  • 1篇廖元秀

传媒

  • 1篇高技术通讯
  • 1篇北京轻工业学...

年份

  • 2篇1995
2 条 记 录,以下是 1-2
排序方式:
二阶A型Cooper变换的增强型
1995年
对二阶A型Cooper变换进行增强,放宽可用性条件,并证明了其正确性,最后举例说明其应用。
廖元秀潘晓玲罗旭东
关键词:程序设计自动化
扩展一阶B型Cooper变换
1995年
提出一种扩展一阶B型Cooper变换模式,用结构归纳法证明了其正确性,并给出应用示例。
潘晓玲罗旭东
关键词:自动程序设计
共1页<1>
聚类工具0