切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Horn集上的有向调解法
Horn集上的有向调解法
来源 :吉林大学自然科学学报 | 被引量 : 0次 | 上传用户:zlh888617
【摘 要】
:
本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。更多还原
【作 者】
:
欧阳丹彤
刘叙华
【机 构】
:
吉林大学计算机科学系,吉林大学计算机科学系长春,长春
【出 处】
:
吉林大学自然科学学报
【发表日期】
:
1992年4期
【关键词】
:
HORN集
调解法
完备性
Horn set
paramodulation
complete
【基金项目】
:
国家自然科学基金,国家教委博士点基金,国家863计划资助课题
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。更多还原
其他文献
基于方向模板的保持边缘平滑后地震图像的不连续性检测
鉴于地震数据不连续性检测的重要性,本文提出了一种保持和检测地震图像不连续性(如:岩层,断层,河道等)的方法.通常在图象不连续的地方,象素值会有较大的差异,文中用4×4的方
期刊
保边缘平滑
不连续性检测
edge preserving smoothing
discontinuities detection
论南非布尔人大迁徙中经济因素的作用
期刊
南非
布尔人迁徒
经济因素
经济发展矛盾
美国机器人市场现况
<正> 1.前言: 美国的机器人市场,1986年出厂数和1985年大致相同,增长速度开始大大减慢,预计1987年将减少.到1985年为止发展起来的美国机器人市场也开始发生变化,现在正处于大
期刊
市场
机器人
美国
毛泽东、邓小平与党的基本路线
期刊
中国共产党
基本路线
毛泽东
邓小平
体外冲击波碎石术治疗涎腺结石的可行性研究
一、ESWL的碎石原理冲击波是由水中火花放电产生的。放电的电极置于一个对称半椭球体的第一焦点上。放电使水汽化而产生冲击波。冲击波经球体内壁反射会聚在第二焦点处,即可
期刊
涎腺
半椭球体
可行性研究
瞬时压力
体外震波碎石机
炎细胞浸润
单核细胞浸润
小叶结构
明显损伤
涎石病
安徽师范大学政法学院哲学系马克思主义哲学学科点简介
安徽师范大学政法学院哲学马克思主义哲学学科是安徽省级重点学科,该学科自1986年招收硕士研究生以来,经过20多年的发展,在学科建设,人才培养,学术交流等方面取得长足的发展.
期刊
马克思主义哲学
安徽师范大学
学科点
法学院
哲学系
简介
省级重点学科
硕士研究生
驱动条件对有机薄膜电致发光形成过程的影响
研究了驱动条件对有机薄膜电致发光形成过程的影响,初步分析了这种形成过程的机理。
期刊
有机薄膜
形成过程
电致发光器件
驱动条件
organic thin film electroluminescence
forming process
ag
Interpack2005软包装精品推荐
Menshen是一家德国塑料模具产品生产公司,该公司最近研发了一种特殊的产品.这种产品的功能类似一个阀门装置.每次.当消费者停止吮吸时.阀门装置便会自动关闭,以防止包装内容物外溢
期刊
软包装
精品
模具产品
生产公司
包装内容物
自动关闭
消费者
装置
阀门
宇电公司近期推出多项革新产品
紧持“发展以技术为基础”的宇电公司,于2008年4月推出超薄型的TM5000系列隔离式安全栅和TM6000系列信号隔离器。这两大产品均为全模块化设计,小体积,低功耗;具备供电电源-输入回
期刊
产品
革新
隔离式安全栅
模块化设计
电磁隔离
输出回路
输入回路
供电电源
宇电公司
智能变电站过程层网络采用EPON技术实用性研究
本文提出在智能变电站过程层网络通信系统采用EPON进行组网的应用方案,在对智能变电站过程层通信业务分析、及EPON技术和现阶段智能变电站过程层所采用的主流工业以太网技术
期刊
智能变电站
以太网无源光网络
工业以太网交换机
SV
GOOSE
离散度
传输时延
Smart substation
EPON(Ethernet Passiv
与本文相关的学术论文