-
张自强
-
-
- 所属机构:兰州大学信息科学与工程学院
- 所在地区:甘肃省 兰州市
- 研究方向:自动化与计算机技术
- 发文基金:国家重点基础研究发展计划
相关作者
- 刘林霞
- 作品数：6被引量：2H指数：1
- 供职机构：兰州大学信息科学与工程学院
- 研究主题：半结构化 数据查询 线性时序逻辑 时序逻辑 AOP
- 何安平
- 作品数：42被引量：32H指数：3
- 供职机构：兰州大学
- 研究主题：异步 CLICK 乘法器 人工神经元网络 元结
- 梁睿
- 作品数：2被引量：0H指数：0
- 供职机构：兰州大学信息科学与工程学院
- 研究主题：AOP 面向切面编程 线性时序逻辑 连接点 注解
- 岳园
- 作品数：8被引量：4H指数：2
- 供职机构：西北民族大学数学与计算机科学学院
- 研究主题：逻辑 组合电路 等价性验证 可满足性 刚体
- 王瑞
- 作品数：1被引量：0H指数：0
- 供职机构：兰州大学信息科学与工程学院
- 研究主题：黑盒 逻辑 组合电路 等价性验证
