您的位置： 专家智库 > >

冯莎莎

作品数：4 被引量：3H指数：1
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金吉林省杰出青年科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 3个经济管理
  • 3个机械工程
  • 3个电子电信
  • 3个交通运输工程
  • 3个文化科学
  • 3个理学
  • 2个天文地球
  • 2个农业科学
  • 2个社会学
  • 1个生物学
  • 1个矿业工程
  • 1个石油与天然气...
  • 1个电气工程
  • 1个轻工技术与工...
  • 1个医药卫生

主题

  • 3个等词
  • 3个等价
  • 3个调度
  • 3个调度问题
  • 3个定理
  • 3个定理证明
  • 2个代数
  • 2个代数格
  • 2个等价类
  • 2个等价性
  • 2个等价性验证
  • 2个点对应
  • 2个电路
  • 2个电路结构
  • 2个电子细胞
  • 2个调解
  • 2个定理机器证明
  • 2个定性空间推理
  • 2个定制
  • 2个动态约束满足

机构

  • 4个吉林大学
  • 3个教育部
  • 1个复旦大学
  • 1个长春工程学院
  • 1个中山大学
  • 1个吉林财经大学
  • 1个湖北工程学院

资助

  • 4个国家自然科学...
  • 4个吉林省杰出青...
  • 4个吉林省科技发...
  • 4个国家教育部博...
  • 4个吉林省青年科...
  • 3个国家高技术研...
  • 3个吉林省自然科...
  • 3个中国博士后科...
  • 3个教育部“新世...
  • 3个中央高校基本...
  • 2个高等学校骨干...
  • 2个高等学校国家...
  • 2个国家留学基金
  • 2个浙江省自然科...
  • 2个安徽省高校省...
  • 2个国家攀登计划
  • 2个江苏省高校自...
  • 2个教育部高等学...
  • 2个教育部重点实...
  • 1个符号计算与知...

传媒

  • 4个软件学报
  • 4个吉林大学学报...
  • 4个吉林大学学报...
  • 3个计算机研究与...
  • 3个模式识别与人...
  • 3个通信学报
  • 3个电子学报
  • 3个南京大学学报...
  • 3个计算机学报
  • 3个计算机工程与...
  • 3个广西师范大学...
  • 3个计算机科学
  • 3个吉林大学学报...
  • 3个计算机教育
  • 3个计算机科学与...
  • 3个第四届中国R...
  • 2个计算机集成制...
  • 2个吉林大学自然...
  • 2个自动化学报
  • 2个湖南大学学报...

地区

  • 4个吉林省
共 4 条 记 录，以下是 1-4
孙吉贵
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
发表作品相关人物供职机构所获资助研究领域
张永刚
供职机构：吉林大学计算机科学与技术学院
研究主题：约束满足问题 弧相容 人工智能 相容性 自适应
发表作品相关人物供职机构所获资助研究领域
吴瑕
供职机构：吉林大学
研究主题：命题逻辑 人工智能 模态逻辑 定理证明 定理机器证明
发表作品相关人物供职机构所获资助研究领域
欧阳丹彤
供职机构：吉林大学计算机科学与技术学院
研究主题：基于模型诊断 人工智能 离散事件系统 本体 集合枚举树
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0