刘磊 
导出分析报告
刘 磊 男，1960年生，教授、博士生导师。 从事程序理论、程序设计语言及实现技术、软件自动化等方向的研究。特别是在形式化方法、过程式语言的部分求值技术、程序抽象化等方面... 详细>>
研究主题：程序设计 本体 检定装置 汽车 营运汽车
研究学科：自动化类 机械类 建筑类 生物科学类 经济学类
被引量：1,162H指数：16
-
排序方式：
非常抱歉，您的检索请求在检索结果中暂未找到，建议您：
- *请检查输入字词有无错误
- *请换用另外的检索字词
- *请改用较常见的字词
- *请减少查询字词的数量
渝公网安备 50019002500408号 违法和不良信息举报中心
