您的位置： 专家智库 > >

李永强

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

合作作者

领域

  • 3个理学
  • 2个自动化与计算...
  • 1个天文地球
  • 1个机械工程
  • 1个文化科学

主题

  • 3个等价
  • 3个紧致
  • 3个紧致性
  • 3个格值
  • 2个定理
  • 2个独立集
  • 2个英文
  • 2个数学
  • 2个极小集
  • 2个格值逻辑
  • 1个代数
  • 1个单纯形
  • 1个单纯形方法
  • 1个导数
  • 1个等价关系
  • 1个等价条件
  • 1个等式
  • 1个定积分
  • 1个丢番图
  • 1个丢番图方程

机构

  • 3个北京师范大学
  • 1个贵州民族大学
  • 1个华北电力大学

资助

  • 2个国家自然科学...
  • 2个国家教育部博...
  • 1个贵州省科学技...
  • 1个中国博士后科...
  • 1个安徽省优秀青...
  • 1个北京市教委面...
  • 1个贵州省省长基...

传媒

  • 3个数学学报（中...
  • 2个数学进展
  • 2个北京师范大学...
  • 2个南京大学学报...
  • 1个中国电化教育
  • 1个计算机工程
  • 1个Journa...
  • 1个中国电力教育
  • 1个华北电力大学...
  • 1个计算机科学
  • 1个数学研究
  • 1个淮北煤炭师范...
  • 1个教师教育研究
  • 1个中国学术期刊...
  • 1个中国人工智能...

地区

  • 3个北京市
共 3 条 记 录，以下是 1-3
童雪
供职机构：华北电力大学
研究主题：格值逻辑 英文 紧致性 模型论 代数
发表作品相关人物供职机构所获资助研究领域
别容芳
供职机构：北京师范大学信息科学与技术学院
研究主题：格值逻辑 极小集 紧致性 独立集 等价
发表作品相关人物供职机构所获资助研究领域
沈复兴
供职机构：北京师范大学信息科学与技术学院
研究主题：量词消去 原子模型 P 紧致性定理 完全二叉树
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0