期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
INPUT SEMI-LOCK REFUTATION ON HORN SET WITH EQUALITY
INPUT SEMI-LOCK REFUTATION ON HORN SET WITH EQUALITY
原文传递
导出
摘要
The main results of this note are an extension of (1)Definition. Let S be a set of lock clauses, D a linear deduction about empty clause □ from S. Its side clauses are B0, B1,..., Bn-1 and center clauses are C0, C1, ...,
作者
吴茂康
机构地区
Shanghai University of Science and Technology
出处
《Chinese Science Bulletin》
SCIE
EI
CAS
1988年第15期1233-1234,共2页
关键词
resolution
paramodulation
INPUT
semi-lock
REFUTATION
HORN
SET
E-unsatisfiable
SET
resolution
paramodulation
input semi-lock refutation
Horn set
E-unsatisfiable set
分类号
TP39 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
张玉平.
Horn style deduction relation[J]
.Science China(Technological Sciences),1998,41(3):280-287.
2
战法权.
MP3播放器复活记 刷新Firmware修复MP3播放器[J]
.微型计算机,2005,25(13):140-140.
3
王兵山,李舟军,陈火旺.
Universal Abstract Consistency Class and Universal Refutation[J]
.Journal of Computer Science & Technology,1999,14(2):165-172.
4
Diondia Motta Monte-Serrat Leda Verdiani Tfouni.
Equality as an Effect of Meaning and the Uncertainties of the Legal Discourse[J]
.US-China Foreign Language,2013,11(5):343-348.
5
陈伟鹤,陈霖.
基于条件函数依赖的隐私保护模型[J]
.计算机应用研究,2012,29(10):3838-3841.
被引量:1
6
许庆功,李孜,赵佳,张永胜.
高速异步FIFO的设计与实现[J]
.微计算机信息,2009(20):153-155.
被引量:1
7
酷软[J]
.电脑爱好者,2011(6):44-44.
8
贺琛,韩建兵,明月.
基于FPGA的ASI数据发送卡的设计[J]
.计算机与网络,2016,42(12):60-62.
被引量:2
9
LifengHe,YuyanChao,HidenoriItoh.
Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving[J]
.Journal of Computer Science & Technology,2003,18(5):580-591.
10
秋雁南回.
Windows的“清道夫”——Empty Temp Folders[J]
.电脑爱好者,2003(15):35-36.
Chinese Science Bulletin
1988年 第15期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部