您的位置： 专家智库 > >

吴国华

作品数：2 被引量：0H指数：0
供职机构：中国科学院软件研究所更多>>
相关领域：理学更多>>

合作作者

领域

  • 4个理学
  • 3个自动化与计算...

主题

  • 4个图灵
  • 3个英文
  • 2个递归
  • 2个递归可枚举度
  • 2个定理
  • 2个数理逻辑
  • 2个数学
  • 2个可计算性
  • 2个可计算性理论
  • 1个代数
  • 1个等式
  • 1个递归函数
  • 1个递归可枚举集
  • 1个动态逻辑
  • 1个动态描述逻辑
  • 1个多项式
  • 1个信念
  • 1个信念修正
  • 1个信息熵
  • 1个学习算法

机构

  • 4个中国科学院软...
  • 1个云南师范大学
  • 1个中国科学院
  • 1个扬州大学

资助

  • 3个国家自然科学...
  • 1个国家高技术研...
  • 1个国家社会科学...
  • 1个国家重点基础...
  • 1个山东省优秀中...
  • 1个山东省自然科...
  • 1个云南省应用基...
  • 1个公益性行业(...
  • 1个国家重点实验...
  • 1个山东省高等学...

传媒

  • 3个软件学报
  • 2个数学学报（中...
  • 1个曲阜师范大学...
  • 1个云南师范大学...
  • 1个科学通报
  • 1个数学进展
  • 1个计算机研究与...
  • 1个电子学报
  • 1个中国科学（A...
  • 1个计算机学报
  • 1个北京工业大学...
  • 1个微电子学与计...
  • 1个计算机工程与...
  • 1个控制与决策
  • 1个北京航空航天...
  • 1个Chines...
  • 1个松辽学刊（自...
  • 1个计算机科学
  • 1个济南大学学报...
  • 1个山东大学学报...

地区

  • 4个北京市
共 4 条 记 录，以下是 1-4
张萍
供职机构：中国科学院软件研究所
研究主题：图灵
发表作品相关人物供职机构所获资助研究领域
李昂生
供职机构：中国科学院软件研究所
研究主题：递归可枚举度 分解定理 可计算性理论 临界性 图灵
发表作品相关人物供职机构所获资助研究领域
眭跃飞
供职机构：中国科学院计算技术研究所
研究主题：描述逻辑 粗糙集 英文 离群点检测 递归可枚举度
发表作品相关人物供职机构所获资助研究领域
杨东屏
供职机构：中国科学院软件研究所
研究主题：哥德尔不完全性定理 哥德尔 艺术 归约 计算机科学
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0