中介逻辑谓词演算
基于1个网页-相关网页
Mediation logic predicate calculus
以上为机器翻译结果,长、整句建议使用 人工翻译 。
本文借助中介逻辑谓词演算系统MFM,对不完全信息系统的理论和应用进行了研究。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
youdao
应用推荐
模块上移
模块下移
不移动