刘磊

导出分析报告

刘 磊 男，1960年生，教授、博士生导师。 从事程序理论、程序设计语言及实现技术、软件自动化等方向的研究。特别是在形式化方法、过程式语言的部分求值技术、程序抽象化等方面...   详细>>

研究主题：程序设计    本体    检定装置    汽车    营运汽车    

研究学科：自动化类    机械类    建筑类    生物科学类    经济学类    

被引量：1,154H指数：16