搜索到 篇“ 一阶逻辑 “的相关文章

相关作者

徐扬
作品数：279被引量：1,111H指数：15
供职机构：西南交通大学数学学院
研究主题：格蕴涵代数 格值命题逻辑 滤子 子句 命题逻辑
何星星
作品数：38被引量：45H指数：4
供职机构：西南交通大学数学学院
研究主题：矛盾体 命题逻辑 一阶逻辑 机器证明 子句
陈树伟
作品数：27被引量：19H指数：3
供职机构：西南交通大学
研究主题：矛盾体 一阶逻辑 命题逻辑 机器证明 逻辑公式
刘新文
作品数：92被引量：63H指数：4
供职机构：中国社会科学院哲学研究所
研究主题：逻辑 模态逻辑 皮尔士 哲学逻辑 金岳霖
孙吉贵
作品数：209被引量：2,266H指数：18
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法