您的位置： 专家智库 > >

臧波

作品数：1 被引量：5H指数：1
供职机构：牡丹江师范学院理学院更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇数理逻辑
  • 1篇主析取范式
  • 1篇析取范式
  • 1篇逻辑
  • 1篇极大项
  • 1篇极小项
  • 1篇范式

机构

  • 1篇牡丹江师范学...

作者

  • 1篇张型岱
  • 1篇臧波

传媒

  • 1篇牡丹江师范学...

年份

  • 1篇2001
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
极小项与极大项的运算性质被引量：5
2001年
研究了极小项、极大项的运算性质,给出了一组运算公式,利用这些运算公式可以使求命题公式的主范式运算更简洁。
张型岱臧波
关键词：极小项极大项主析取范式数理逻辑
全选 清除 导出
共1页<1>
聚类工具0