您的位置： 专家智库 > >

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

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

领域

  • 9个自动化与计算...
  • 8个理学
  • 5个哲学宗教
  • 4个经济管理
  • 4个生物学
  • 4个天文地球
  • 4个化学工程
  • 4个矿业工程
  • 4个石油与天然气...
  • 4个冶金工程
  • 4个金属学及工艺
  • 4个机械工程
  • 4个动力工程及工...
  • 4个电子电信
  • 4个电气工程
  • 4个建筑科学
  • 4个水利工程
  • 4个轻工技术与工...
  • 4个交通运输工程
  • 4个航空宇航科学...

主题

  • 9个逻辑系统
  • 9个描述逻辑
  • 7个有穷
  • 7个语义
  • 7个同态
  • 7个LN
  • 6个代数
  • 6个代数性质
  • 6个知识
  • 6个知识发现
  • 6个本体
  • 5个语义关联
  • 5个文本分类
  • 5个文本分类方法
  • 5个领域本体
  • 5个类方
  • 5个本体概念
  • 4个大型真菌
  • 4个大学生
  • 3个大王

机构

  • 9个广西师范大学
  • 9个毕节学院
  • 9个黔南民族师范...
  • 8个华南师范大学
  • 8个中国科学院软...
  • 4个北方民族大学
  • 4个北京中医药大...
  • 4个长春理工大学
  • 4个成都理工大学
  • 4个成都中医药大...
  • 4个东北大学
  • 3个安徽工业大学
  • 3个安徽省农业科...
  • 3个北京工商大学
  • 3个滨州医学院
  • 2个安徽医科大学
  • 2个北方工业大学
  • 2个北海道大学
  • 2个北京印刷学院
  • 2个北京应用物理...

作者

  • 9个王驹
  • 9个曹发生
  • 9个张维
  • 8个蒋运承
  • 8个余泉
  • 8个侯金宏
  • 6个聂登国
  • 4个韦婷婷
  • 4个周生明
  • 4个施雅贤
  • 4个肖宝
  • 3个付萍
  • 3个令狐金卿
  • 3个何鹏飞
  • 2个张晓华
  • 2个丰雷
  • 2个代虹镜
  • 1个张晓华
  • 1个张晓华

传媒

  • 8个计算机研究与...
  • 8个计算机工程与...
  • 7个计算机工程与...
  • 4个分析化学
  • 4个分子科学学报
  • 4个工业安全与环...
  • 4个中国临床药理...
  • 4个生态学报
  • 4个环境工程
  • 4个现代化工
  • 4个教育与职业
  • 4个信息系统工程
  • 4个化工管理
  • 3个商业时代
  • 3个全面腐蚀控制
  • 3个医疗装备
  • 3个资源科学
  • 3个植物生态学报
  • 3个林业科学
  • 3个计算机安全
共 9 条 记 录，以下是 1-9
国家自然科学基金
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
广西壮族自治区自然科学基金
相关领域：医药卫生 农业科学 理学 自动化与计算机技术 天文地球
相关作品相关人物相关机构相关资助相关领域
贵州省科学技术基金
相关领域：医药卫生 农业科学 理学 自动化与计算机技术 生物学
相关作品相关人物相关机构相关资助相关领域
贵州省科学技术基金(J[2009]2068)
描述逻辑系统的非标准推理的研究
相关领域：自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
广西壮族自治区自然科学基金(0991100)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60663001)
相关领域：自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
贵州省教育厅自然科学研究项目
相关领域：理学 医药卫生 农业科学 自动化与计算机技术 生物学
相关作品相关人物相关机构相关资助相关领域
贵州省教育厅自然科学研究项目(2008090)
模态描述逻辑的代数结构
相关领域：自动化与计算机技术 理学 哲学宗教
相关作品相关人物相关机构相关资助相关领域
贵州省教育厅自然科学研究项目(20090047)
含循环术语集描述逻辑系统推理机制
相关领域：自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0