-
雷丽晖
-
-
- 所属机构:西安电子科技大学计算理论与技术研究所
- 所在地区:陕西省 西安市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 段振华
- 作品数：214被引量：245H指数：9
- 供职机构：西安电子科技大学计算机学院
- 研究主题：时序逻辑 形式化验证 命题投影时序逻辑 投影时序逻辑 语句
- 耿国华
- 作品数：747被引量：3,808H指数：27
- 供职机构：西北大学
- 研究主题：文物 点云 特征提取 三维模型 颅骨
- 周明全
- 作品数：793被引量：4,011H指数：24
- 供职机构：西北大学
- 研究主题：文物 三维模型 颅骨 特征提取 点云
