您的位置： 专家智库 > >

薛艳

作品数：6 被引量：18H指数：2
供职机构：陕西师范大学计算机科学学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 4个理学
  • 3个文化科学
  • 1个经济管理
  • 1个哲学宗教
  • 1个金属学及工艺
  • 1个机械工程
  • 1个电子电信
  • 1个电气工程
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个社会学
  • 1个政治法律
  • 1个艺术
  • 1个历史地理
  • 1个自然科学总论

主题

  • 3个等价
  • 3个互模拟
  • 3个KRIPKE...
  • 2个代数
  • 2个等价性
  • 2个信息安全
  • 1个代数表示
  • 1个代数系
  • 1个代数系统
  • 1个代数性质
  • 1个道路交叉口
  • 1个道路交通
  • 1个道路交通状况
  • 1个等价刻画
  • 1个递归
  • 1个递归可枚举语...
  • 1个电子投票
  • 1个电子形式
  • 1个调度
  • 1个调度算法

机构

  • 4个陕西师范大学
  • 1个北方民族大学
  • 1个汉中师范学院
  • 1个内江师范学院
  • 1个西北工业大学

资助

  • 4个国家自然科学...
  • 3个中央高校基本...
  • 2个高等学校优秀...
  • 2个国家重点基础...
  • 2个青海省自然科...
  • 2个国家教育部博...
  • 1个福建省自然科...
  • 1个贵州省科学技...
  • 1个国家社会科学...
  • 1个教育部科学技...
  • 1个四川省教育厅...
  • 1个四川省应用基...
  • 1个安徽省优秀青...
  • 1个四川省青年科...
  • 1个贵州省教育厅...
  • 1个陕西省教育厅...
  • 1个长江学者和创...
  • 1个国家自然科学...
  • 1个教育部“春晖...
  • 1个黔西南州科技...

传媒

  • 4个计算机科学
  • 2个电子学报
  • 2个数学杂志
  • 2个计算机工程与...
  • 2个软件学报
  • 2个计算机工程与...
  • 2个纯粹数学与应...
  • 2个陕西师范大学...
  • 2个内江师范学院...
  • 1个艺术科技
  • 1个山海经（故事...
  • 1个戏剧之家
  • 1个陕西教育（教...
  • 1个系统工程
  • 1个模糊系统与数...
  • 1个云南师范大学...
  • 1个吉林大学社会...
  • 1个青年文学家
  • 1个通俗歌曲
  • 1个自动化学报

地区

  • 3个陕西省
  • 1个四川省
共 4 条 记 录，以下是 1-4
李永明
供职机构：陕西师范大学
研究主题：计算树逻辑 量子 量子逻辑 加权 格半群
发表作品相关人物供职机构所获资助研究领域
邓辉
供职机构：陕西师范大学
研究主题：互模拟 KRIPKE结构 黑非洲 逻辑与 外源
发表作品相关人物供职机构所获资助研究领域
雷红轩
供职机构：内江师范学院数学与信息科学学院
研究主题：模糊自动机 格半群 量子 同态 等价
发表作品相关人物供职机构所获资助研究领域
李亚利
供职机构：陕西师范大学计算机科学学院
研究主题：互模拟 计算树逻辑 KRIPKE结构 等价性 教学目标
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0