• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2000, Vol. 22 ›› Issue (2): 5-7.

• 论文 • 上一篇    下一篇

蕴涵项的扩展算法

王波   

  • 出版日期:2000-02-01 发布日期:2010-06-11

  • Online:2000-02-01 Published:2010-06-11

关键词: 蕴涵项 扩展算法 逻辑函数 最小化算法 计算机