王瑞
作品数： 1被引量：0H指数：0
  • 所属机构:兰州大学信息科学与工程学院
  • 所在地区:甘肃省 兰州市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家重点基础研究发展计划

相关作者

张自强
作品数：5被引量：2H指数：1
供职机构：兰州大学信息科学与工程学院
研究主题：线性时序逻辑 AOP 面向切面编程 OEM模型 半结构化
岳园
作品数：8被引量：4H指数：2
供职机构：西北民族大学数学与计算机科学学院
研究主题：逻辑 组合电路 等价性验证 可满足性 刚体
作品列表