tableau-based算法相关硕士博士期刊学术论文 - 搜论网

tableau-based算法相关论文

Tableau-based算法的改进与有限步终止定理

对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生......

期刊

描述逻辑 Abox tableau-based算法标准tableau-based算法有限步终止定理 description logic Abox table

看过本文同时还关注