排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果 总被引:3,自引:0,他引:3
根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员. 相似文献
1