您的位置： 专家智库 > >

广西壮族自治区自然科学基金(0447032)

作品数：8 被引量：44H指数：4
相关作者：王驹蒋运承余泉甘晓丽申宇铭更多>>
相关机构：广西师范大学黔南民族师范学院毕节学院更多>>
发文基金：广西壮族自治区自然科学基金国家自然科学基金广西青年科学基金更多>>
相关领域：自动化与计算机技术理学医药卫生更多>>

领域

  • 10个自动化与计算...
  • 8个理学
  • 5个文化科学
  • 4个哲学宗教
  • 3个医药卫生
  • 2个经济管理
  • 2个生物学
  • 2个电子电信
  • 1个天文地球
  • 1个电气工程
  • 1个水利工程
  • 1个社会学
  • 1个语言文字
  • 1个自然科学总论

主题

  • 10个描述逻辑
  • 6个等价
  • 6个语义
  • 6个完备格
  • 5个代数
  • 5个循环术语集
  • 5个知识
  • 5个教学
  • 5个TABLEA...
  • 4个形式化
  • 4个序集
  • 4个数学
  • 3个代数结构
  • 3个单位元
  • 3个信息系统
  • 2个代码
  • 2个代码自动生成
  • 2个代码自动生成...
  • 2个代数性质
  • 2个定理

机构

  • 10个广西师范大学
  • 3个桂林电子科技...
  • 3个中山大学
  • 2个广西医科大学...
  • 2个毕节学院
  • 2个黔南民族师范...
  • 2个中国科学院
  • 2个中国科学院软...
  • 1个贵州大学
  • 1个北京大学
  • 1个广西医科大学
  • 1个南京大学
  • 1个华南师范大学
  • 1个江南大学
  • 1个广东外语外贸...
  • 1个四川大学
  • 1个教育部
  • 1个中国科学院研...
  • 1个桂林空军学院

资助

  • 13个广西壮族自治...
  • 12个国家自然科学...
  • 10个广西青年科学...
  • 7个广西研究生教...
  • 6个广西研究生教...
  • 5个贵州省科学技...
  • 5个贵州省教育厅...
  • 5个中国科学院计...
  • 4个广东省自然科...
  • 4个中国博士后科...
  • 4个贵州省自然科...
  • 4个广西省自然科...
  • 4个教育部“新世...
  • 3个国家高技术研...
  • 3个国家重点基础...
  • 3个广西壮族自治...
  • 3个广西教育厅科...
  • 3个贵州省省长基...
  • 3个国家重点实验...
  • 2个广州市科技计...

传媒

  • 8个计算机研究与...
  • 7个软件学报
  • 6个计算机学报
  • 5个广西师范大学...
  • 5个黔南民族师范...
  • 4个计算机工程与...
  • 4个计算机工程与...
  • 4个计算机科学
  • 3个模式识别与人...
  • 3个计算机工程
  • 3个江西师范大学...
  • 3个微电子学与计...
  • 3个计算机应用研...
  • 3个计算机技术与...
  • 2个口腔颌面外科...
  • 2个科技通报
  • 2个数学的实践与...
  • 2个福州大学学报...
  • 2个临床口腔医学...
  • 2个计算机应用与...

地区

  • 8个广西
  • 3个广东省
  • 2个贵州省
共 13 条 记 录，以下是 1-10
王驹
供职机构：广西师范大学计算机科学与信息工程学院
研究主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
发表作品相关人物供职机构所获资助研究领域
蒋运承
供职机构：华南师范大学
研究主题：描述逻辑 语义WEB 文本 多主体系统 语义
发表作品相关人物供职机构所获资助研究领域
余泉
供职机构：黔南民族师范学院
研究主题：描述逻辑 中医 保守 LN 逻辑系统
发表作品相关人物供职机构所获资助研究领域
甘晓丽
供职机构：桂林电子科技大学
研究主题：描述逻辑 偏序集 角色 压平 高频数据
发表作品相关人物供职机构所获资助研究领域
王代友
供职机构：广西医科大学附属口腔医院
研究主题：腮腺 口腔鳞癌 恶性肿瘤 DNA双链断裂 血管内皮生长因子
发表作品相关人物供职机构所获资助研究领域
申宇铭
供职机构：广东外语外贸大学思科信息学院
研究主题：描述逻辑 翻译 刻画 本体 循环术语集
发表作品相关人物供职机构所获资助研究领域
周生明
供职机构：广西师范大学计算机科学与信息工程学院
研究主题：描述逻辑 不动点语义 MSC 语义 毕业论文改革
发表作品相关人物供职机构所获资助研究领域
李梅
供职机构：广西师范大学数学科学学院
研究主题：TABLEAU算法 描述逻辑 完备格
发表作品相关人物供职机构所获资助研究领域
曹发生
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：描述逻辑 同余 逻辑系统 有穷 LN
发表作品相关人物供职机构所获资助研究领域
李淑英
供职机构：广西师范大学数学科学学院
研究主题：描述逻辑 TABLEAU算法 完备格 TABLEAUX SI
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0