-
薛艳
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:陕西师范大学计算机科学学院
- 所在地区:陕西省 西安市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 李永明
![](/images/user-pic.gif)
- 作品数:225被引量:466H指数:12
- 供职机构:陕西师范大学
- 研究主题:计算树逻辑 量子 量子逻辑 加权 格半群
- 邓辉
![](/images/user-pic.gif)
- 作品数:5被引量:11H指数:1
- 供职机构:陕西师范大学
- 研究主题:互模拟 KRIPKE结构 黑非洲 逻辑与 外源
- 雷红轩
![](/images/user-pic.gif)
- 作品数:37被引量:86H指数:7
- 供职机构:内江师范学院数学与信息科学学院
- 研究主题:模糊自动机 格半群 量子 同态 等价
- 李亚利
![](/images/user-pic.gif)
- 作品数:6被引量:17H指数:2
- 供职机构:陕西师范大学计算机科学学院
- 研究主题:互模拟 计算树逻辑 KRIPKE结构 等价性 教学目标