表推演方法相关论文
不完全信息数据库是数据库领域的重要研究方向，不仅具有重要的理论价值，而且还具有重要的应用价值。中介逻辑命题演算系统MP~M和中介......
不完全信息数据库与 SQL 语言的语义是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且还具有很高的应用价值。本文借......
本文以文[1]为基础,继续讨论中介逻辑的自动推理理论,文中给出了中介谓词演算系统MF及MF~*、带等词的中介谓调演算系统ME及ME~*的......
