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

相关作者

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