换一批- 最近
- 已收藏
- 排序
- 筛选
- 3
- 1
- 2
- 2
- 2
- 2
- 1
- 中文期刊
- 刊名
- 作者
- 作者单位
- 收录源
- 栏目名称
- 语种
- 主题词
- 出版状态
- 外文期刊
- 文献类型
- 刊名
- 作者
- 主题词
- 收录源
- 语种
- 学位论文
- 授予学位
- 授予单位
- 会议论文
- 主办单位
- 专 利
- 专利分类
- 专利类型
- 国家/组织
- 法律状态
- 申请/专利权人
- 发明/设计人
- 成 果
- 鉴定年份
- 学科分类
- 地域
- 完成单位
- 标 准
- 强制性标准
- 中标分类
- 标准类型
- 标准状态
- 来源数据库
- 法 规
- 法规分类
- 内容分类
- 效力级别
- 时效性
【中文期刊】 苏锦钿 余珊珊 《华南理工大学学报（自然科学版）》 2014年1期 128-134页
【摘要】 针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题，首先证明了笛卡尔封闭范畴上的终结共代数是强终结的，并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归---punfold，使得共归纳数据类型上的共递归计算可以包...
- 概要：
- 方法：
- 结论：
【中文期刊】 苏锦钿 余珊珊 《计算机研究与发展》 2013年50卷12期 2676-2690页
【摘要】 针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题,证明了笛卡儿封闭范畴上的有限扩展多项式函子的终结共代数在固定参数和累积参数下都是强终结的,并利用该强终结性给出强共归纳数据类型的定义以及带固定参数和累积参数的共递归操作——...
- 概要：
- 方法：
- 结论：
【中文期刊】 张文军 齐艳红 等 《生物多样性》 2002年10卷3期 345-350页ISTICPKUCSCDCABP
【摘要】 针对农田生物多样性分析的需要,研制出泛函连接网络(FLANN)计算软件.该软件由7个Java类和1个HTML文件组成,是一种Internet在线计算工具,可运行于多种操作系统和Web浏览器上,并在各种类型的PC及工作站上使用,可读取多种类型...
- 概要：
- 方法：
- 结论：
加载中...
