-
李梅
-
-
- 所属机构:广西师范大学数学科学学院
- 所在地区:广西 桂林市
- 研究方向:自动化与计算机技术
- 发文基金:广西研究生教育创新计划项目
相关作者
- 蒋运承
- 作品数：114被引量：666H指数：15
- 供职机构：华南师范大学
- 研究主题：描述逻辑 语义WEB 文本 多主体系统 语义
- 李淑英
- 作品数：2被引量：10H指数：1
- 供职机构：广西师范大学数学科学学院
- 研究主题：描述逻辑 TABLEAU算法 完备格 TABLEAUX SI
- 王驹
- 作品数：77被引量：250H指数：12
- 供职机构：广西师范大学计算机科学与信息工程学院
- 研究主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
- 刘真环
- 作品数：3被引量：14H指数：2
- 供职机构：桂林空军学院
- 研究主题：形式化 TABLEAU算法 描述逻辑 完备格 时段演算
