您的位置: 专家智库 > >

领域

  • 5个理学
  • 3个自动化与计算...
  • 2个哲学宗教
  • 2个电子电信
  • 1个生物学
  • 1个冶金工程
  • 1个文化科学

主题

  • 3个英文
  • 3个中介逻辑
  • 3个数理逻辑
  • 2个代数
  • 2个等效性
  • 2个调律
  • 2个定理
  • 2个形象思维
  • 2个学科
  • 2个学科归属
  • 2个语言
  • 2个语言表达
  • 2个语言表达能力
  • 2个直觉
  • 2个直觉主义
  • 2个中介
  • 1个代文
  • 1个等价
  • 1个等价性
  • 1个等式

机构

  • 3个南京大学
  • 3个南京航空航天...
  • 1个大连理工大学
  • 1个包头师范学院
  • 1个空军气象学院
  • 1个解放军理工大...
  • 1个北京航空航天...
  • 1个中国人民解放...
  • 1个中国人民解放...

资助

  • 3个国家自然科学...
  • 2个国家高技术研...
  • 2个国家重点基础...
  • 2个江苏省自然科...
  • 2个国家攀登计划
  • 1个高等学校优秀...
  • 1个霍英东教育基...
  • 1个江苏省青年科...
  • 1个河南省自然科...
  • 1个江苏省教育厅...
  • 1个国家重点实验...
  • 1个河南省杰出青...
  • 1个中国航空科学...

传媒

  • 3个南京航空航天...
  • 3个Transa...
  • 2个模糊系统与数...
  • 2个科学通报
  • 2个电子与信息学...
  • 2个数据采集与处...
  • 2个南京大学学报...
  • 2个计算机学报
  • 2个数学物理学报...
  • 2个数学杂志
  • 2个自然杂志
  • 2个科学
  • 2个Journa...
  • 2个南京邮电大学...
  • 1个数学教育学报
  • 1个计算机研究与...
  • 1个模式识别与人...
  • 1个电子学报
  • 1个应用数学学报
  • 1个河海大学学报...

地区

  • 4个江苏省
  • 1个湖北省
5 条 记 录,以下是 1-5
肖奚安
供职机构:解放军理工大学理学院
研究主题:中介逻辑 公理集合论 中介 命题演算 数理逻辑
发表作品相关人物供职机构所获资助研究领域
江成顺
供职机构:南京大学数学系
研究主题:渐近性质 非线性 反应扩散方程组 初值问题 HARNACK不等式
发表作品相关人物供职机构所获资助研究领域
毛峥
供职机构:南京航空航天大学机电学院
研究主题:CIMS工程 概率逻辑 归纳逻辑 调律 企业产品管理
发表作品相关人物供职机构所获资助研究领域
朱梧槚
供职机构:南京航空航天大学计算机科学与技术学院计算机科学与技术系
研究主题:中介逻辑 实无限 情境演算 人工智能 公理集合论
发表作品相关人物供职机构所获资助研究领域
姚楠
供职机构:中国人民解放军军事经济学院
研究主题:MP 范式 命题演算 数理逻辑 中介逻辑
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0