高位検証における等価論理式への変換手法について

記事を表すアイコン

高位検証における等価論理式への変換手法について

国立国会図書館請求記号
Z16-940
国立国会図書館書誌ID
7879920
資料種別
記事
著者
Kwanghoon Jungほか
出版者
東京 : 電子情報通信学会
出版年
2006-03-09
資料形態
掲載誌名
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 105(646) 2006.3.9
掲載ページ
p.79~84
すべて見る

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
記事
著者・編者
Kwanghoon Jung
木村 晋二
タイトル(掲載誌)
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
巻号年月日等(掲載誌)
105(646) 2006.3.9
掲載巻
105
掲載号
646
掲載ページ
79~84
掲載年月日(W3CDTF)
2006-03-09