检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]陕西师范大学数学与信息科学学院,陕西西安710062 [2]商洛职业技术学院,陕西商洛726000
出 处:《南阳师范学院学报》2009年第12期7-9,共3页Journal of Nanyang Normal University
基 金:国家自然科学基金(10471083);陕西师范大学重点科研基金(995130)
摘 要:为了从另一个角度研究格上逻辑,通过对闭包算子与闭包系统的研究,用对偶的方法给出内部算子的定义,建立了相应的内部系统.In order to study lattical logical on the other hand, through study of clusure operate and clusure system. We define inner operator and set up inner system.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.16.107.122