您的位置： 专家智库 > >

李昂生

作品数：8 被引量：1H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金云南省应用基础研究基金更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

领域

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

主题

  • 4个图灵
  • 2个英文
  • 2个数理逻辑
  • 2个数学
  • 1个代数
  • 1个等式
  • 1个递归
  • 1个递归函数
  • 1个递归可枚举度
  • 1个定理
  • 1个动态逻辑
  • 1个动态描述逻辑
  • 1个多项式
  • 1个信念
  • 1个信念修正
  • 1个信息熵
  • 1个学习算法
  • 1个言语
  • 1个言语行为
  • 1个一阶逻辑

机构

  • 4个中国科学院软...
  • 1个中国科学院
  • 1个扬州大学

资助

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

传媒

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

地区

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