前缀幂集相关硕士博士期刊学术论文 - 搜论网

前缀幂集相关论文

约束逻辑程序的良基模型研究

在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上，研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方......

期刊

正规逻辑程序约束逻辑程序回答集最小不动点良基模型前缀幂集 normal logic program constraint logic program

看过本文同时还关注