Supported by the National Natural Science Foundation of China under Grant Nos.60663001, 60673135, 60373081, 60573010 (国家自然科学基金); the Postdoctoral Science Foundation of China under Grant No.20060400226 (中国博士后科学基金); the Program for New Century Excellent Talents University (新世纪优秀人才支持计划); the Natural Science Key Foundation of Guangdong Province of China under Grant No.04105503 (广东省自然科学重点基金); the Natural Science Foundation of Guangxi Province of China under Grant Nos.0640030, 0832103 (广西自然科学基金)
蒋运承,王 驹,周生明,汤 庸.描述逻辑εL混合循环术语集的LCS和MSC推理.软件学报,2008,19(10):2483-2497
复制