Pogosyan Grant R., 国際基督教大学 [著][Pogosyan Grant R.]2001-2004<Y151-H13640136>
国立国会図書館
- 件名論理関数 / 最適展開 / ブール代数 / クローン理論 / 多値論...
笹尾, 勤, 九州工業大学1998-2000<Y151-H10680360>
国立国会図書館
- 件名関数分解 論理関数 論理設計 BDD テスト生成
石浦, 菜岐佐, 大阪大学1997-1998<Y151-H09680335>
国立国会図書館
町田, 元, 一橋大学1998-1999<Y151-H10640109>
国立国会図書館
- 件名多値論理関数 クローン理論 クローン束 極小クローン 超クローン
矢島, 修三, 京都大学1993-1994<Y151-H05452352>
国立国会図書館
- 件名論理関数 二分決定グラフ 論理関数処理 論理設計支援 並列アルゴリズム 計算複雑さ 内容アドレ...
中村, 行宏, 京都大学2000-2001<Y151-H12450152>
国立国会図書館
- 件名リコンフイギヤラブル・ロジツク プログラマブル・ロジツク 並列計算 回路設計 論理関数表現 動的資源割当 CAD
矢島, 脩三, 京都大学1990-1991<Y151-H02452162>
国立国会図書館
- 件名論理関数 二分決定グラフ 論理関数処理 計算機援用設計 記号シミユレーシヨン タイミング検証 ...
矢島脩三, 京都大学1993-1994<Y151-H05558030>
国立国会図書館
- 件名時相論理 論理設計 形式的検証 論理関数処理 二分決定グラフ モデルチエツキング 仕様記述
矢島, 脩三, 京都大学1995-1996<Y151-H07558155>
国立国会図書館
- 件名形式的設計検証 機能レベル設計 時相論理 第一階述語論理 モデルチエツキング 論理関数処理 二分決定グラフ
矢島, 脩三, 京都大学1991-1992<Y151-H03555074>
国立国会図書館
- 件名論理合成 論理設計検証 順序回路 論理関数簡単化 状態割当て 時相論理 論理設計支援