-
邓辉
-
-
- 所属机构:陕西师范大学
- 所在地区:陕西省 西安市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 李永明
- 作品数：225被引量：470H指数：12
- 供职机构：陕西师范大学
- 研究主题：计算树逻辑 量子 量子逻辑 加权 格半群
- 李亚利
- 作品数：6被引量：17H指数：2
- 供职机构：陕西师范大学计算机科学学院
- 研究主题：互模拟 计算树逻辑 KRIPKE结构 等价性 教学目标
- 薛艳
- 作品数：6被引量：18H指数：2
- 供职机构：陕西师范大学计算机科学学院
- 研究主题：计算树逻辑 互模拟 KRIPKE结构 一致性 艺术中专
- 马占有
- 作品数：25被引量：66H指数：5
- 供职机构：北方民族大学计算机科学与工程学院
- 研究主题：决策过程 烘干炉 计算树逻辑 温度控制系统 模糊自适应PID控制器
