LI Hong-Bo
College of Computer Science and Technology, Jilin University, Changchun 130012,China; Symbol Computation and knowledge Engineer of Ministry of Education, Jilin University, Changchun 130012, ChinaLI Zhan-Shan
College of Computer Science and Technology, Jilin University, Changchun 130012,China; Symbol Computation and knowledge Engineer of Ministry of Education, Jilin University, Changchun 130012, ChinaHAN Wen-Cheng
College of Computer Science and Technology, Jilin University, Changchun 130012,China; Symbol Computation and knowledge Engineer of Ministry of Education, Jilin University, Changchun 130012, China李宏博,李占山,韩文成.基于等价类划分的配置求解与解释计算.软件学报,2011,22(5):929-937
Copy