-
徐扬
-
-
- 所属机构:西南交通大学数学学院
- 所在地区:四川省 成都市
- 研究方向:理学
- 发文基金:国家自然科学基金
相关作者
- 秦克云
- 作品数:197被引量:639H指数:14
- 供职机构:西南交通大学数学学院
- 研究主题:粗糙集 格蕴涵代数 属性约简 近似算子 决策表
- 何星星
- 作品数:38被引量:45H指数:4
- 供职机构:西南交通大学数学学院
- 研究主题:矛盾体 命题逻辑 一阶逻辑 机器证明 子句
- 陈树伟
- 作品数:27被引量:19H指数:3
- 供职机构:西南交通大学
- 研究主题:矛盾体 一阶逻辑 命题逻辑 机器证明 逻辑公式
- 宋振明
- 作品数:54被引量:155H指数:7
- 供职机构:西南交通大学数学学院
- 研究主题:格蕴涵代数 格值逻辑 概念格 子句 滤子
- 钟小梅
- 作品数:17被引量:3H指数:1
- 供职机构:西南交通大学
- 研究主题:矛盾体 命题逻辑 机器证明 一阶逻辑 逻辑公式