您的位置： 专家智库 > >

中国科学院计算机科学国家重点实验室开放课题基金(SYSKF0904)

作品数：5 被引量：11H指数：2
相关作者：蒋运承王驹张维曹发生周生明更多>>
相关机构：广西师范大学中国科学院软件研究所华南师范大学更多>>
发文基金：中国科学院计算机科学国家重点实验室开放课题基金国家自然科学基金广西壮族自治区自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 10个自动化与计算...
  • 10个理学
  • 6个哲学宗教
  • 5个文化科学
  • 2个经济管理
  • 2个电子电信
  • 2个医药卫生
  • 2个语言文字
  • 2个自然科学总论
  • 1个天文地球
  • 1个动力工程及工...
  • 1个建筑科学
  • 1个交通运输工程

主题

  • 10个描述逻辑
  • 8个代数
  • 8个知识
  • 8个逻辑系统
  • 7个语义
  • 7个自动机
  • 7个FL
  • 6个等价
  • 6个形式概念分析
  • 6个循环术语集
  • 6个有穷
  • 6个有限自动机
  • 5个映射
  • 5个语义WEB
  • 4个代数结构
  • 4个定理
  • 4个动态描述逻辑
  • 4个信息检索
  • 4个知识发现
  • 3个有限状态自动...

机构

  • 9个广西师范大学
  • 5个中山大学
  • 3个毕节学院
  • 2个桂林电子科技...
  • 2个华南师范大学
  • 2个黔南民族师范...
  • 2个中国科学院
  • 2个中国科学院软...
  • 1个北京大学
  • 1个广东工业大学
  • 1个湖南工程学院
  • 1个南京大学
  • 1个江苏技术师范...
  • 1个广东省电力试...
  • 1个教育部
  • 1个中国科学技术...
  • 1个中南大学

资助

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

传媒

  • 9个计算机研究与...
  • 8个计算机学报
  • 8个计算机工程与...
  • 7个软件学报
  • 6个广西师范大学...
  • 5个模式识别与人...
  • 5个计算机工程与...
  • 4个计算机工程
  • 4个计算机应用与...
  • 4个微电子学与计...
  • 4个计算机应用研...
  • 4个黔南民族师范...
  • 4个计算机科学
  • 4个智能系统学报
  • 3个电子学报
  • 3个江西师范大学...
  • 3个计算机应用
  • 3个小型微型计算...
  • 3个计算机技术与...
  • 3个毕节学院学报...

地区

  • 5个广西
  • 3个广东省
  • 1个贵州省
共 10 条 记 录，以下是 1-10
蒋运承
供职机构：华南师范大学
研究主题：描述逻辑 语义WEB 多主体系统 语义 本体
发表作品相关人物供职机构所获资助研究领域
王驹
供职机构：广西师范大学计算机科学与信息工程学院
研究主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
发表作品相关人物供职机构所获资助研究领域
周生明
供职机构：广西师范大学计算机科学与信息工程学院
研究主题：描述逻辑 不动点语义 MSC 语义 毕业论文改革
发表作品相关人物供职机构所获资助研究领域
曹发生
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：描述逻辑 同余 逻辑系统 有穷 LN
发表作品相关人物供职机构所获资助研究领域
张维
供职机构：黔南民族师范学院
研究主题：描述逻辑 逻辑系统 LN 同态 互模拟
发表作品相关人物供职机构所获资助研究领域
余泉
供职机构：桂林电子科技大学
研究主题：描述逻辑 中医 保守 LN 逻辑系统
发表作品相关人物供职机构所获资助研究领域
汤庸
供职机构：华南师范大学
研究主题：社交网络 时态 时态数据库 描述逻辑 存储介质
发表作品相关人物供职机构所获资助研究领域
邓培民
供职机构：广西师范大学数学与统计学院
研究主题：有限自动机 弱可逆 线性有限自动机 同态 等价
发表作品相关人物供职机构所获资助研究领域
唐素勤
供职机构：广西师范大学
研究主题：描述逻辑 智能教学系统 领域本体 教学模式 WEB
发表作品相关人物供职机构所获资助研究领域
侯金宏
供职机构：广西师范大学数学科学学院
研究主题：描述逻辑 逻辑系统 FL 有穷
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0