搜索筛选:
搜索耗时3.5447秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：曹汝鸣,
来源：南京航空航天大学 年份：2006
不完全信息数据库是数据库领域的重要研究方向,不仅具有重要的理论价值,而且还具有重要的应用价值。目前尚没有一个完善的理论体系为不完全信息的表示和处理提供理论支撑。中...
[期刊论文] 作者：曹汝鸣,毛宇光,陈文彬,
来源：数学研究与评论 年份：2006
MP^M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立—个代数系统，对MP^M系统进行了代数抽象，讨论了MP^M......
[期刊论文] 作者：曹汝鸣,毛宇光,陈文彬,
来源：计算机科学 年份：2006
本文基于中介逻辑命题演算系统MP^M构造了一个公理集合，证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出，可以方便地对MP^M、MF^M系统上的等值公式进行推导...
相关搜索：
