D-1-3 単調のDNF式とkCNF式の等価性判定アルゴリズム.

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人電子情報通信学会の論文
• 1999-03-08

著者

• 山田 克樹

  東京理科大学

• 山田 克樹

  京大工学部

• 岡部 寿男

  京大大学院情報学研究科

• 岩間 一雄

  京大大学院情報学研究科

関連論文

• B-9-9 ベローズ型ダイレクトメタノール燃料電池(B-9.電子通信エネルギー技術,一般講演)
• D-1-3 単調のDNF式とkCNF式の等価性判定アルゴリズム.

スポンサーリンク