森岡澄夫,北道淳司,東野輝夫,谷口健一: ""整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明"" 情報処理学会第49回全国大会(4L-01). Vol.6. 87-88 (1994)
森岡澄夫,北道淳司,東野輝夫,谷口健一: ""整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明"" 情報処理学会第49回全国大会(4L-01). Vol.6. 87-88 (1994)
复制标题
Sumio Morioka、Junji Kitamichi、Teruo Higashino、Kenichi Taniguchi：“使用确定整数逻辑公式恒常性的算法实现组合逻辑电路的正确性证明”日本信息处理学会第 49 届全国大会 (4L-01)。第6卷。87-88（1994）
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
