Fitting算子相关硕士博士期刊学术论文 - 信丰网

Fitting算子相关论文

关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义

逻辑程序具有丰富的表达能力和非确定性等特点，在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有......

期刊

逻辑程序否定和蕴涵完备化程序 Herbrand模型后继算子 Fitting算子 Logic programming →-completion and →-

看过本文同时还关注