搜索到 篇“ 子句 “的相关文章

相关作者

徐扬
作品数：282被引量：1,130H指数：15
供职机构：西南交通大学数学学院
研究主题：格蕴涵代数 格值命题逻辑 滤子 子句 命题逻辑
易见兵
作品数：47被引量：64H指数：5
供职机构：江西理工大学信息工程学院
研究主题：子句 定理证明 矛盾体 一阶逻辑 卷积
曹锋
作品数：33被引量：42H指数：4
供职机构：江西理工大学信息工程学院
研究主题：子句 定理证明 矛盾体 一阶逻辑 混沌加密
何星星
作品数：41被引量：48H指数：4
供职机构：西南交通大学数学学院
研究主题：矛盾体 命题逻辑 一阶逻辑 机器证明 逻辑公式
周国栋
作品数：390被引量：1,249H指数：19
供职机构：苏州大学计算机科学与技术学院
研究主题：文本 分类器 语料 最大熵 中文