局部极复杂广义文字相关硕士博士期刊学术论文 - 搜论网

局部极复杂广义文字相关论文

基于格值一阶逻辑系统的α-广义归结原理

...

会议

格值一阶逻辑一般广义子句局部极复杂广义文字广义归结自动推理

格值一阶逻辑系统的α广义归结原理

在基于格蕴涵代数的格值逻辑系统框架下,笔者扩展了基于格值逻辑系统的α归结原理,将广义子句集上的归结扩展到一般广义子句集上,......

期刊

格值一阶逻辑一般广义子句局部极复杂广义文字广义归结自动推理 lattice-valued first-order logic general gene

看过本文同时还关注