福州金嘉实业有限公司

福州金嘉实业有限公司

福州金嘉实业有限公司

李慧琪 讲师

研究方向:逻辑程序设计

电子邮件:lihuiqi (AT) xmu.edu.cn

个人主页:http://info.xmu.edu.edu.cn/lihuiqi.htm

个人简历:

主讲课程: 

编译原理

高级语言程序设计

代表性论文: 

Li Huiqi, Zhao Zhizhuo. 2010. Implementation of pruning operators in logic programming, In the Proceedings of Intelligent Computing and Intelligent Systems (ICIS), 2010: 860-864.

Li Huiqi, Zhao Zhizhuo. 2010. The implementation of polymorphic many-sorted type system for logic programming language G?del, In the Proceedings of the 2nd WRI Global Congress on Intelligent Systems,Wuhan/China,2010: 102-106.