文献检索-宁波市创意产业特色资源库

限定检索结果

检索条件"作者=高长铎"

共 1 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

视图：

排序：

一类递归函数的转换: 收藏
分享
引用; 《青岛大学学报（自然科学版）》1998年第1期11卷 19-23页; 作者：高长铎青岛大学计算中心; 本文证明了在ＦＰ系统内，对于含单位元的函数ｈ，形为ｆ＝ｐ→ｆ。ｋ；ｈ。［ｆ。ｉ，ｊ］、ｆ＝ｐ→ｆ。ｋ；ｈ。［ｉ，ｆ。ｊ］和ｆ＝ｐ→ｆ。ｋ；ｈ。［ｆ。ｉ，ｆ。ｊ］的递归函数能转换为可展开的递归函数．; 本文证明了在ＦＰ系统内，对于含单位元的函数ｈ，形为ｆ＝ｐ→ｆ。ｋ；ｈ。［ｆ。ｉ，ｊ］、ｆ＝ｐ→ｆ。ｋ；ｈ。［ｉ，ｆ。ｊ］和ｆ＝ｐ→ｆ。ｋ；ｈ。［ｆ。ｉ，ｆ。ｊ］的递归函数能转换为可展开的递归函数．; 来源：详细信息评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页<< <1> >>

聚类工具回到顶部