Marquis迸一步提出了一种基于 理论本原蕴含式 （ theory prime implicate ）的知识编译方法【30】。1999年Alvaro del、Ⅵ提出可以利用核归结来计算本原蕴含式，如果限制核归结为LT-跳跃过滤核归结，那么该...
基于12个网页-相关网页
理论本原蕴含式
Theoretical origin implication
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动