切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Prolog语言与G(O)del语言中元程序设计方法的研究
Prolog语言与G(O)del语言中元程序设计方法的研究
来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:wosee_2008
【摘 要】
:
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
【作 者】
:
王啸澜
赵致琢
李慧琪
【机 构】
:
厦门大学软件学院
【出 处】
:
黑龙江科技学院学报
【发表日期】
:
2005年z1期
【关键词】
:
G(O)del语言
Prolog语言
元程序设计
抽象数据类型
部分求值
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
一类半无穷区间上奇异Sturm-Liouville边值问题正解的存在性
利用非线性备择性定理,研究了无穷区间上一类二阶奇异Sturm-Liouville边值问题,其中f(t,u,v)可在t=0,v=0处奇异,得到了其C1p(0,∞)正解存在的一个判定方法.
期刊
Sturm-Liouville问题
奇异
无穷边值
锥
海洋微藻多糖的红外光谱分析初探
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
Rough law generation and its separation-recognition
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
Generalized ordered weighted averaging operators based method for MADM in intuitionistic fuzzy set s
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
0#柴油水溶性成分对僧帽牡蛎(Ostrea cucullata)谷胱甘肽硫转移酶活性的影响
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
班主任如何运用激励策略做好学生管理工作
在班主任工作中,我们经常会遇到一些棘手的学生,上课不听讲;不完成作业;不遵守纪律;任课老师不厌其烦的前来告状……但其实每个学生都会有自己的优缺点,只是有时我们太在意他们
期刊
激励策略
班主任
管理工作
欣赏发现
一类单中心二次可积系统的Abel积分零点个数
讨论了首次积分为H(x,y)=xk(1/2y2+Ax2+ Bx+ C)的Abel积分的代数构造,并研究了k=2时具有一个中心的平面二次可积系统在n次扰动下的Abel积分零点个数上界问题,得到了较小的上
期刊
Abel积分
Picard-Fuchs方程
Riccati方程
Improved block matching approach to fast disparity estimation
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
Asymptotic controllability of a class of discrete-time systems with disturbances
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
Predictive control for mechanical system with backlash based on hybrid model
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
与本文相关的学术论文