-
刘真环
-
-
- 所属机构:桂林空军学院
- 所在地区:广西 桂林市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 王驹
- 作品数：77被引量：250H指数：12
- 供职机构：广西师范大学计算机科学与信息工程学院
- 研究主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
- 蒋运承
- 作品数：114被引量：666H指数：15
- 供职机构：华南师范大学
- 研究主题：描述逻辑 语义WEB 文本 多主体系统 语义
- 李梅
- 作品数：1被引量：10H指数：1
- 供职机构：广西师范大学数学科学学院
- 研究主题：TABLEAU算法 描述逻辑 完备格
- 李淑英
- 作品数：2被引量：10H指数：1
- 供职机构：广西师范大学数学科学学院
- 研究主题：描述逻辑 TABLEAU算法 完备格 TABLEAUX SI
- 韦立
- 作品数：23被引量：57H指数：4
- 供职机构：贵州师范大学大数据与计算机科学学院
- 研究主题：形式化 彩色图像水印 三维离散余弦变换 彩色图像水印算法 3D-DCT
