您的位置： 专家智库 > >

国家自然科学基金(60573070)

作品数：3 被引量：3H指数：1
相关作者：周勇朱梧槚肖奚安朱梧朱朝晖更多>>
相关机构：南京航空航天大学解放军理工大学更多>>
发文基金：国家自然科学基金江苏省自然科学基金霍英东教育基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 6个自动化与计算...
  • 6个理学
  • 3个哲学宗教
  • 3个电子电信
  • 2个文化科学
  • 1个经济管理
  • 1个生物学
  • 1个天文地球
  • 1个化学工程
  • 1个冶金工程
  • 1个金属学及工艺
  • 1个动力工程及工...
  • 1个电气工程
  • 1个轻工技术与工...
  • 1个航空宇航科学...
  • 1个医药卫生
  • 1个一般工业技术
  • 1个政治法律
  • 1个自然科学总论

主题

  • 6个逻辑
  • 5个定理
  • 4个中介逻辑
  • 3个等价
  • 3个等价性
  • 3个学科
  • 3个语言
  • 3个知识表示
  • 3个中介
  • 2个等效性
  • 2个定理证明
  • 2个信念
  • 2个信念修正
  • 2个形式语言
  • 2个形象思维
  • 2个学科归属
  • 2个艺术
  • 2个英文
  • 2个语言表达
  • 2个语言表达能力

机构

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

资助

  • 6个国家自然科学...
  • 5个江苏省自然科...
  • 4个国家高技术研...
  • 3个国家重点基础...
  • 3个霍英东教育基...
  • 3个国家攀登计划
  • 3个中国航空科学...
  • 2个江苏省青年科...
  • 2个江苏省教育厅...
  • 2个国家重点实验...
  • 1个高等学校优秀...
  • 1个国防基础科研...
  • 1个南京大学计算...
  • 1个江苏省“六大...
  • 1个国家教育部博...
  • 1个国家自然科学...
  • 1个江苏省高校自...
  • 1个教育部人文社...
  • 1个中央高校基本...

传媒

  • 5个南京航空航天...
  • 5个计算机学报
  • 4个软件学报
  • 3个电子与信息学...
  • 3个数学物理学报...
  • 3个自然杂志
  • 3个Journa...
  • 3个解放军理工大...
  • 3个Transa...
  • 2个数学教育学报
  • 2个模糊系统与数...
  • 2个科学通报
  • 2个计算机研究与...
  • 2个数据采集与处...
  • 2个南京大学学报...
  • 2个数学杂志
  • 2个科学
  • 2个自然辩证法研...
  • 2个西南交通大学...
  • 2个计算机应用研...

地区

  • 6个江苏省
共 6 条 记 录，以下是 1-6
周勇
供职机构：南京航空航天大学
研究主题：AADL 安全关键软件 自动生成方法 L模型 AAD
发表作品相关人物供职机构所获资助研究领域
肖文洁
供职机构：南京航空航天大学
研究主题：表示定理 信念修正 泛布尔代数 决策表 逻辑表达式
发表作品相关人物供职机构所获资助研究领域
肖奚安
供职机构：解放军理工大学理学院
研究主题：中介逻辑 公理集合论 中介 命题演算 数理逻辑
发表作品相关人物供职机构所获资助研究领域
朱朝晖
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：人工智能 常识推理 情境演算 表示定理 UML
发表作品相关人物供职机构所获资助研究领域
朱梧
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：数学 数学文化 数学思维 数学教育 数学方法论
发表作品相关人物供职机构所获资助研究领域
朱梧槚
供职机构：南京航空航天大学计算机科学与技术学院计算机科学与技术系
研究主题：中介逻辑 实无限 公理集合论 中介 人工智能
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0