-
覃俊明
-
-
- 所属机构:广西师范大学数学科学学院
- 所在地区:广西 桂林市
- 研究方向:自动化与计算机技术
- 发文基金:国家重点实验室开放基金
相关作者
- 蒋运承
- 作品数:113被引量:656H指数:15
- 供职机构:华南师范大学
- 研究主题:描述逻辑 语义WEB 文本 多主体系统 语义
- 耿继兵
- 作品数:2被引量:1H指数:1
- 供职机构:广西师范大学
- 研究主题:C系统 RCC 冗余性 GF FL
- 王驹
- 作品数:77被引量:250H指数:12
- 供职机构:广西师范大学计算机科学与信息工程学院
- 研究主题:描述逻辑 逻辑系统 循环术语集 语义 不动点语义