1999年3月8日
D-1-3 単調のDNF式とkCNF式の等価性判定アルゴリズム.
電子情報通信学会総合大会講演論文集
- ,
- ,
- 巻
- 1999
- 号
- 1
- 開始ページ
- 3
- 終了ページ
- 3
- 記述言語
- 日本語
- 掲載種別
- 出版者・発行元
- 一般社団法人電子情報通信学会
- リンク情報
-
- CiNii Articles
- http://ci.nii.ac.jp/naid/110003254903
- CiNii Books
- http://ci.nii.ac.jp/ncid/AN10471452
- ID情報
-
- CiNii Articles ID : 110003254903
- CiNii Books ID : AN10471452