学者信息
已发表成果：
WOK 论文 3 篇;中文核心 2 篇;其它论文 6 篇;
-
A polymorphic type system in logic programming
Proceedings of 2008 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008,,2008.
Huiqi, Li(1); Zhizhuo, Zhao(1)
WOS:000262437400026 EI:20090911922306 10.1109/ISKE.2008.4730911
收录情况：EI、CPCI-S