聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 可补半环上的同余
出处:模糊系统与数学 2010年第6期61-65,共5页
摘要:研究可补半环上的同余关系,得出一些重要性质。并证明了一个半环R是可补半环当且仅当它是某个布尔环和布尔... 显示全部
关键词: 可补半环 偶元素 同余 布尔环
在线阅读 下载全文
期刊文章 一阶逻辑中的重写证明算法
出处:计算机学报 1988年第2期
摘要:本文在布尔代数标准重写系统的基础上,提出了一种把一阶逻辑公式转换成布尔环中等式的方法,并由此建立了一... 显示全部
关键词: 布尔环 一阶逻辑 证明算法 因子分解 布尔代数 重写系统 最简式 证明过程 定理证明 语义树
期刊文章 一个重写证明算法
出处:计算机学报 1987年第7期
摘要:本文在AC合一和布尔代数标准重写系统的基础上,提出了一组转换规则和一个定理证明算法,这种证明算法使用了... 显示全部
关键词: 证明算法 重写系统 转换规则 布尔环 布尔表达式 重写规则 布尔代数 定理证明 分解式 交换环
找到3条结果
`