您的位置： 专家智库 > >

贵州省科学技术基金(J[2009]2123)

作品数：2 被引量：3H指数：1
相关作者：杨静任彦芳索丙芮沈复兴吴茂念更多>>
相关机构：贵州大学贵州科学院北京师范大学更多>>
发文基金：国家自然科学基金贵州省科学技术基金更多>>
相关领域：自动化与计算机技术理学更多>>

领域

  • 7个自动化与计算...
  • 5个电子电信
  • 5个文化科学
  • 5个理学
  • 3个经济管理
  • 3个天文地球
  • 2个机械工程
  • 2个医药卫生
  • 2个政治法律
  • 1个哲学宗教
  • 1个生物学
  • 1个金属学及工艺
  • 1个动力工程及工...
  • 1个水利工程
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个农业科学
  • 1个一般工业技术
  • 1个语言文字

主题

  • 4个等价
  • 4个等价关系
  • 4个定理
  • 4个语义
  • 3个等式
  • 3个形式化
  • 3个英文
  • 3个谓词
  • 3个可靠性
  • 3个公理
  • 3个公理化
  • 3个公理化方法
  • 2个电动
  • 2个电动车
  • 2个电机
  • 2个信念修正
  • 2个软件工程
  • 1个大型地下停车...
  • 1个大型水利
  • 1个大型水利水电...

机构

  • 5个贵州大学
  • 2个北京师范大学
  • 2个西南大学
  • 1个贵州师范大学
  • 1个贵州民族大学
  • 1个贵州科学院
  • 1个湖州师范学院
  • 1个西南师范大学

资助

  • 7个贵州省科学技...
  • 7个国家自然科学...
  • 5个贵州省省长基...
  • 3个贵州省自然科...
  • 2个国家社会科学...
  • 2个贵州省优秀科...
  • 1个国家高技术研...
  • 1个浙江省自然科...
  • 1个中国博士后科...
  • 1个贵州省科技支...
  • 1个贵州省优秀青...
  • 1个贵州省教育厅...
  • 1个中央级公益性...
  • 1个北京市教委面...
  • 1个博士科研启动...
  • 1个贵阳市科学技...
  • 1个贵州省科技计...
  • 1个国家教育部博...
  • 1个国家重点实验...
  • 1个湖州市科技计...

传媒

  • 5个计算机科学
  • 4个计算机工程与...
  • 3个计算机应用与...
  • 3个贵州大学学报...
  • 3个西南大学学报...
  • 2个数学学报（中...
  • 2个计算机工程
  • 2个计算机应用研...
  • 2个软件学报
  • 2个北京师范大学...
  • 2个微型机与应用
  • 2个计算机工程与...
  • 2个Journa...
  • 2个南京大学学报...
  • 2个西南师范大学...
  • 2个软件导刊
  • 2个科技资讯
  • 2个计算机技术与...
  • 2个通讯和计算机...
  • 1个计算机光盘软...

地区

  • 4个贵州省
  • 1个北京市
  • 1个浙江省
  • 1个重庆市
共 7 条 记 录，以下是 1-7
张明义
供职机构：贵州科学院
研究主题：句型 缺省理论 缺省逻辑 黑颈鹤 种群结构
发表作品相关人物供职机构所获资助研究领域
陈武
供职机构：西南大学计算机与信息科学学院
研究主题：协商 逻辑程序 聚类 范本 个性化网络学习
发表作品相关人物供职机构所获资助研究领域
杨静
供职机构：贵州大学
研究主题：胶囊 爆破 炮眼 网络 触觉
发表作品相关人物供职机构所获资助研究领域
沈复兴
供职机构：北京师范大学信息科学与技术学院
研究主题：量词消去 原子模型 P 紧致性定理 完全二叉树
发表作品相关人物供职机构所获资助研究领域
吴茂念
供职机构：湖州师范学院
研究主题：人工智能 指纹匹配 子集 糖尿病视网膜病变 LUCAS数列
发表作品相关人物供职机构所获资助研究领域
索丙芮
供职机构：贵州大学计算机科学与信息学院
研究主题：公理化方法 可靠性 谓词 AOP SPRING
发表作品相关人物供职机构所获资助研究领域
任彦芳
供职机构：贵州大学计算机科学与信息学院
研究主题：CC1100 ZIGBEE 无线通信 公理化方法 可靠性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0