期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
Pro图与Prolog尾递归删除技术
下载PDF
职称材料
导出
摘要
介绍Pro图的基本概念和生成规则、各节点和节点参量间的关系及Pro图的激活过程.按着递归程序Pro图的生成过程不同,分析了三类递归程序的特点,并根据这些特点分别叙述了各类程序实现尾递归删除的基本技术.
作者
刘育刚
机构地区
计算机与信息科学系
出处
《应用科技》
CAS
1996年第4期14-17,共4页
Applied Science and Technology
基金
黑龙江省自然科学基金资助项目
关键词
PROLOG
递归程序
尾递归删除
图
Pro图
分类号
O157.5 [理学—基础数学]
O141.3 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
4
参考文献
3
共引文献
2
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
3
1
刘育刚.
递归Prolog程序的正确性证明[J]
.计算机学报,1996,19(1):64-67.
被引量:2
2
刘育刚.
一种用Pro树测试和辅助设计Prolog程序的方法[J]
.哈尔滨工程大学学报,1995,16(3):59-65.
被引量:1
3
刘育刚,吕光楣.
Pro树与Prolog程序追踪[J]
.计算机研究与发展,1995,32(7):17-20.
被引量:2
二级参考文献
4
1
刘育刚,吕光楣.
PROLOG运行机制的辅助理解工具[J]
.小型微型计算机系统,1993,14(10):49-53.
被引量:4
2
刘育刚,吕光楣.
PRO树及其剪枝问题的研究[J]
.哈尔滨船舶工程学院学报,1994,15(3):45-52.
被引量:1
3
刘育刚,小型微型计算机系统,1993年,10期
4
陈兆乾,TURBO PROLOG程序设计,1990年
共引文献
2
1
林杰,余建坤.
基于Kripke结构的程序正确性证明[J]
.计算机应用,2011,31(5):1425-1427.
被引量:1
2
刘滨春,王安娜,高剑辉.
依据过程性优势分析Prolog程序语言[J]
.长春大学学报,2001,11(2):21-22.
1
韩春利.
递归程序的非递归转换方法[J]
.郑州纺织工学院学报,1995,6(4):24-28.
2
陈玉花,李晓爱,申培萍.
一类非凸规划的分支定界算法[J]
.河南师范大学学报(自然科学版),2012,40(3):6-10.
被引量:2
3
杨永健,高岳林.
求解带二次约束的非凸二次规划的一种分支定界算法(英文)[J]
.应用数学,2006,19(1):25-29.
被引量:2
4
徐汀荣.
计算机代数学的PROLOG实现[J]
.苏州大学学报(自然科学版),1991,7(4):407-415.
5
王春阳,杨文献,闫志伟,杜红,孔祥木,张玉奇,张凌宇.
New Generalizations of Migdal-Kadanoff Bond-Moving Recursion Procedures and Their Applications[J]
.Communications in Theoretical Physics,2012,57(4):717-722.
6
黄振武,冯敦平.
用XPS对激活过程中的GaAs光电阴极的表面分析[J]
.福州大学学报(自然科学版),1990,18(2):18-23.
7
吴建章,徐昌业.
DLA模型与分形生长研究综述[J]
.山东工业大学学报,1996,26(A09):403-410.
被引量:9
8
刘于江,曾春梅.
一类状态空间图表示的产生式系统的prolog求解[J]
.赣南师范学院学报,2006,27(3):49-51.
9
李会荣,高岳林.
带有二次约束非凸二次规划问题的一种全局优化方法[J]
.黑龙江大学自然科学学报,2009,26(3):329-333.
被引量:3
10
刘维仲,刘怀东,姜宏成.
基于模糊理论的人才双向选择问题应用软件[J]
.天津大学学报,1994,27(6):818-822.
应用科技
1996年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部