收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

逻辑程序设计语言Gdel中等词的研究及实现简报

侯米娜  赵致琢  李慧琪  苏剑煌  李松斌  
【摘要】:正1 引言 Godel语言是继逻辑程序设计语言Prolog之后出现的一种通用、高效、表达性强的说明性逻辑程序设计语言。众所周知,逻辑程序语言在一定程度上更直观地反映了人类的思维结构和概念描述方

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈国新;李学哲;白云;陶欢华;;程序设计语言课程教学改革的探索与实现[J];福建电脑;2011年06期
2 张俊荣;;VB基本语句教学探讨[J];北京宣武红旗业余大学学报;2011年03期
3 彭颖;苏德富;苏国华;;案例引导—任务驱动教学法在程序设计课程教学中的应用[J];高教论坛;2011年10期
4 陈皓;;计算机程序设计课程的教学研究[J];科教新报(教育科研);2011年26期
5 董勇兵;王钊;;VB教材改革之浅见[J];中国科教创新导刊;2011年16期
6 吴春颖;;三型整合法在大学《VB程序设计》课程实验教学中的应用[J];大家;2011年17期
7 李祖科;;提高学生VB语言编程能力的思考与实践[J];读与写(教育教学刊);2011年05期
8 刘广;刘鹏;;Visual FoxPro程序设计课程教学方法的探讨[J];中国科技信息;2011年14期
9 周旭东;王丽爱;;程序设计语言实验教学方法探讨[J];计算机时代;2011年08期
10 陈芸;;浅谈基于C的程序设计语言[J];科教文汇(上旬刊);2011年08期
11 刘颖;;高职《C++语言程序设计》课程改革经验谈[J];中国报业;2011年06期
12 张沛;;程序设计教学中兴趣的培养与激发[J];中国教育信息化;2011年12期
13 周新莲;许兴业;;提高程序设计语言课堂教学的有效性和生成性[J];广东第二师范学院学报;2011年03期
14 齐军;张月菊;王涛;;工作流集成中基于代数表达式的语义匹配机制[J];计算机应用;2011年08期
15 ;连接与链接[J];实验技术与管理;2011年07期
16 金保华;闫红岩;张晓娟;徐红霞;;基于ACM/ICPC的程序设计语言的教学改革与实践[J];中国电力教育;2011年20期
17 何受倩;;Java程序设计教学改革与研究[J];电脑知识与技术;2011年14期
18 王光琼;袁小艳;贺建英;梁弼;;《程序设计语言》课程学生创新实践能力培养的思考与实践[J];现代计算机;2011年06期
19 姜跃;;《C程序设计语言》课程的教改与实践[J];新课程研究(中旬刊);2011年08期
20 王斌斌;何蓉;鲍培明;;源程序在线评测系统的设计与实现[J];电脑知识与技术;2011年15期
中国重要会议论文全文数据库 前10条
1 侯米娜;赵致琢;李慧琪;苏剑煌;李松斌;;逻辑程序设计语言Gdel中等词的研究及实现简报[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 覃如贤;;C程序设计语言的教学模式探讨[A];2011高等职业教育电子信息类专业学术暨教学研讨会论文集[C];2011年
3 李瑜;郭俊波;虎嵩林;;一种基于发布订阅模型的博客搜索系统[A];2009年全国开放式分布与并行计算机学术会议论文集(下册)[C];2009年
4 应捷;袁一方;张仁杰;;一种新的实时指纹特征点匹配算法[A];第七届青年学术会议论文集[C];2005年
5 苏剑煌;赵致琢;李慧琪;李松斌;侯米娜;;Gdel语言编译中多态多类类型的实现技术简报[A];2006年全国理论计算机科学学术年会论文集[C];2006年
6 何芳芳;孙继银;孙向东;郭文普;孙振;;基于模糊集的神经网络景象匹配算法[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
7 麦中凡;车敦仁;葛健;;持久性程序设计语言与数据库程序设计语言[A];第十届全国数据库学术会议论文集[C];1992年
8 潘景昌;程马勇;阎峥;黄垚;黄晓选;;相似度可调的匹配算法的分析与设计[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 卢达;浦炜;谢铭培;;基于SEART网和模糊相似测量的手写汉字预分类法[A];2005年全国自动化新技术学术交流会论文集[C];2005年
10 卢达;浦炜;谢铭培;;基于SEART网和模糊相似测量的手写汉字预分类法[A];2005全国自动化新技术学术交流会论文集(二)[C];2005年
中国博士学位论文全文数据库 前10条
1 李斌;智能体结构IASC与面向智能体程序设计语言IAPL的研究及实现[D];南京航空航天大学;2001年
2 姜励;基于程序设计语言的安全降密模型研究[D];浙江大学;2008年
3 陈波;基于软件体系结构的构件模型和语言研究[D];国防科学技术大学;2007年
4 唐祖锴;对象代理程序设计语言研究[D];武汉大学;2011年
5 林春晓;基于携带证明的代码的垃圾收集过程验证[D];中国科学技术大学;2008年
6 池凌鸿;立体匹配算法的研究和应用[D];中国科学技术大学;2011年
7 周石林;非规则碎片匹配关键技术的研究及实现[D];南京航空航天大学;2005年
8 刘而云;指纹加密域匹配算法研究[D];西安电子科技大学;2011年
9 回红;基于结构的指纹表达及其匹配算法研究[D];浙江大学;2002年
10 姚剑波;基于句法分析的安全信息流[D];贵州大学;2006年
中国硕士学位论文全文数据库 前10条
1 昌杰;逻辑程序设计语言G(?)del的形式化过程性语义[D];厦门大学;2009年
2 高伟;逻辑程序设计语言G(?)del的说明性语义[D];厦门大学;2009年
3 李飚;自动指纹识别系统中匹配算法研究与应用[D];湖北工业大学;2011年
4 王玫;程序设计语言模型的设计与实现[D];山东科技大学;2004年
5 苏剑煌;G(?)del语言编译系统的设计与实现[D];厦门大学;2007年
6 任俊杰;快速星像匹配算法的比较[D];暨南大学;2010年
7 谢睿;指纹识别系统中图像质量评估与匹配算法的研究及实现[D];电子科技大学;2011年
8 李松斌;G(?)del语言编译系统中推理机的设计与实现[D];厦门大学;2007年
9 邓如军;自动指纹识别匹配算法研究[D];大连理工大学;2010年
10 王剑;多特征融合的手掌静脉匹配算法研究[D];河南科技大学;2009年
中国重要报纸全文数据库 前10条
1 David L. Margulius;CIO应该下决心改变了[N];计算机世界;2007年
2 刘江;2007图灵奖、出版2.0与C语言图书揽胜[N];中华读书报;2008年
3 于翔;JavaScript升级引发微软、Mozilla论战[N];网络世界;2007年
4 邢小萍;金蝶OperaMasks 2.0 拼抢SaaS市场[N];网络世界;2008年
5 曹明;NI发表视觉开发模块8.5具备新的边缘侦测表达式[N];电子资讯时报;2007年
6 北京东方通信科技发展有限公司 苏洋;OMG IDL语法规则[N];计算机世界;2001年
7 沉香;SCA和SDO规范完成 将简化SOA应用开发[N];中国计算机报;2007年
8 文清;又见人月神话 重温软工经典[N];中华读书报;2007年
9 ;浅谈数据库新技术[N];中国计算机报;2003年
10 谢海燕;WSD依靠多种技术和规范[N];计算机世界;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978