赵希顺
【姓名】 赵希顺
【职称】
【研究领域】 数学;自动化技术;
【研究方向】
【发表文献关键词】 Horn缺省规则,轻信推理,极小不可满足,可满足性检查,分裂,坍塌,缺省逻辑,λβ演算,Kuper定理,易项,简化过程,极小不可满足公式,缺省推理,多项式时间,default,英文,可判定,复杂性,H...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 3 3 3 4 148
中国期刊全文数据库    共找到3篇
[1]赵希顺,丁德成.若干限制形式的缺省推理的复杂性(英文)[J]软件学报.2000,(07)
[2]赵希顺,丁德成.极小不可满足公式的两个多项式时间可判定类[J]中国科学(A辑).1999,(03)
[3]赵希顺,王驹.Y_CΩ_(2n)是易项[J]科学通报.1998,(12)
更多