您的位置： 专家智库 > >

贵州省教育厅自然科学研究项目(20090047)

作品数：6 被引量：6H指数：2
相关作者：张维曹发生余泉王驹郑添健更多>>
相关机构：黔南民族师范学院毕节学院广西师范大学更多>>
发文基金：贵州省科学技术基金贵州省教育厅自然科学研究项目中国科学院计算机科学国家重点实验室开放课题基金更多>>
相关领域：自动化与计算机技术理学更多>>

领域

  • 6个自动化与计算...
  • 5个理学
  • 4个哲学宗教
  • 4个文化科学
  • 2个电子电信
  • 1个经济管理
  • 1个医药卫生
  • 1个历史地理

主题

  • 6个描述逻辑
  • 5个知识
  • 4个代数
  • 4个形式概念分析
  • 4个知识发现
  • 4个知识领域
  • 3个代数结构
  • 3个代数性质
  • 3个等价
  • 3个有穷
  • 3个有限自动机
  • 3个数学
  • 2个单位元
  • 2个定理
  • 2个信息安全
  • 2个信息检索
  • 2个信息系统
  • 2个形式逻辑
  • 2个序集
  • 2个循环术语集

机构

  • 5个广西师范大学
  • 3个毕节学院
  • 3个黔南民族师范...
  • 3个中山大学
  • 2个桂林电子科技...
  • 1个贵州民族大学
  • 1个北京大学
  • 1个南京大学
  • 1个教育部
  • 1个中国科学院软...
  • 1个中国人寿保险...
  • 1个中国人寿保险...

资助

  • 6个贵州省科学技...
  • 6个国家自然科学...
  • 6个贵州省教育厅...
  • 5个广西壮族自治...
  • 5个广西研究生教...
  • 4个中国科学院计...
  • 3个贵州省自然科...
  • 3个广西研究生教...
  • 3个广西青年科学...
  • 3个贵州省科技厅...
  • 3个贵州省省长基...
  • 2个广西可信软件...
  • 1个广东省自然科...
  • 1个国家高技术研...
  • 1个国家社会科学...
  • 1个国家重点基础...
  • 1个中国博士后科...
  • 1个广西壮族自治...
  • 1个广州市科技计...
  • 1个江西省教育厅...

传媒

  • 5个计算机工程与...
  • 5个黔南民族师范...
  • 4个计算机工程与...
  • 4个毕节学院学报...
  • 3个计算机研究与...
  • 3个计算机学报
  • 3个计算机应用与...
  • 3个计算机技术与...
  • 2个福州大学学报...
  • 2个江西师范大学...
  • 2个广西师范大学...
  • 2个软件学报
  • 2个南京大学学报...
  • 2个计算机科学
  • 2个西南大学学报...
  • 2个计算机科学与...
  • 2个逻辑学研究
  • 1个中学生数学（...
  • 1个曲阜师范大学...
  • 1个科技通报

地区

  • 3个贵州省
  • 2个广西
  • 1个广东省
共 6 条 记 录，以下是 1-6
张维
供职机构：黔南民族师范学院
研究主题：描述逻辑 逻辑系统 LN 同态 互模拟
发表作品相关人物供职机构所获资助研究领域
曹发生
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：描述逻辑 同余 逻辑系统 有穷 LN
发表作品相关人物供职机构所获资助研究领域
余泉
供职机构：黔南民族师范学院
研究主题：描述逻辑 中医 保守 LN 逻辑系统
发表作品相关人物供职机构所获资助研究领域
王驹
供职机构：广西师范大学计算机科学与信息工程学院
研究主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
发表作品相关人物供职机构所获资助研究领域
郑添健
供职机构：黔南民族师范学院
研究主题：电脑机箱 电脑 网络安全 GPU 减震性能
发表作品相关人物供职机构所获资助研究领域
赵小香
供职机构：广西师范大学数学科学学院
研究主题：描述逻辑 形式概念分析 超几何级数 雅可比多项式 递推关系
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0