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