论文研究 MUPS算法性能评测的Benchmark设计与实现 .pdf
MUPS算法性能评测的Benchmark设计与实现,张瑜,欧阳丹彤,计算术语集中不可满足概念的极小不可满足保持子术语集(minimal unsatisfiability preserving sub-terminologies,mups)是本体调试的一项重要工作,
下载地址
用户评论