徐扬
作品数: 279被引量:1111H指数:15
  • 所属机构:西南交通大学数学学院
  • 所在地区:四川省 成都市
  • 研究方向:理学
  • 发文基金:国家自然科学基金

相关作者

秦克云
作品数:197被引量:639H指数:14
供职机构:西南交通大学数学学院
研究主题:粗糙集 格蕴涵代数 属性约简 近似算子 决策表
何星星
作品数:38被引量:45H指数:4
供职机构:西南交通大学数学学院
研究主题:矛盾体 命题逻辑 一阶逻辑 机器证明 子句
陈树伟
作品数:27被引量:19H指数:3
供职机构:西南交通大学
研究主题:矛盾体 一阶逻辑 命题逻辑 机器证明 逻辑公式
宋振明
作品数:54被引量:155H指数:7
供职机构:西南交通大学数学学院
研究主题:格蕴涵代数 格值逻辑 概念格 子句 滤子
钟小梅
作品数:17被引量:3H指数:1
供职机构:西南交通大学
研究主题:矛盾体 命题逻辑 机器证明 一阶逻辑 逻辑公式