学者信息
已发表成果：
WOK 论文 3 篇;中文核心 2 篇;其它论文 6 篇;
-
The implementation of polymorphic many-sorted type system for logic programming language G?del
Proceedings - 2010 2nd WRI Global Congress on Intelligent Systems, GCIS 2010,,2010.
Li, Hui-Qi(1); Zhao, Zhi-Zhuo(2)
EI:20111113739900 10.1109/GCIS.2010.131
收录情况：EI -
Implementation of Pruning operators in logic programming
Proceedings - 2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010,,2010.
Li, Hui-Qi(1); Zhao, Zhi-Zhuo(1,2)
EI:20110313584183 10.1109/ICICISYS.2010.5658745
收录情况：EI
-
Gdel语言编译时类型处理技术研究
计算机科学与探索,1673-9418,2010.
林永鹏;赵致琢;李慧琪;徐丹