SHEN Yu-Ming
Cisco School of Informatics, Guangdong University of Foreign Studies, Guangzhou 510420, ChinaWANG Ju
School of Computer Science and Information Engineering, Guangxi Normal University, Guilin 541004, China;Key Laboratory of High Confidence Software Technologies of Ministry of Education (Peking University), Beijing 100871, ChinaTANG Su-Qin
School of Computer Science and Information Engineering, Guangxi Normal University, Guilin 541004, China申宇铭,王驹,唐素勤.描述逻辑εLU概念及术语公理集的表达能力刻画.软件学报,2014,25(8):1794-1805
Copy