您的位置： 专家智库 > >

李晨晖

作品数：1 被引量：0H指数：0
供职机构：桂林航天工业学院更多>>
发文基金：广西教育厅科研项目更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇代数
  • 1篇子代数
  • 1篇广义矛盾式
  • 1篇F

机构

  • 1篇桂林航天工业...

作者

  • 1篇魏海新
  • 1篇李晨晖

传媒

  • 1篇计算机工程与...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
修正的Gdel系统的子代数中F(S)的分划及升级算法
2012年
将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。
魏海新李晨晖
关键词：广义矛盾式子代数
全选 清除 导出
共1页<1>
聚类工具0