王士铁

作品数：1被引量：0H指数：0
导出分析报告
供职机构：厦门大学信息科学与技术学院计算机科学系更多>>
发文主题：命题代数更多>>
发文领域：理学更多>>
发文期刊：《厦门大学学报（自然科学版）》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
在01集上的扩张类比
《厦门大学学报（自然科学版）》1997年第3期344-350,共7页王士铁 
在０１集上给出一类具有普遍意义的扩张类比，并利用此结果讨论命题代数和集合代数的扩张推理：增加条件Ｘ，使前提Ａ能演绎出结论Ｓ，即Ｘ∧ＡＳ；
关键词：扩张类比 扩张推理 命题代数 集合代数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部