論理に基づく論理設計支援 (<特集>「VLSI-CADと人工知能」)
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人人工知能学会の論文
- 1993-03-01
著者
関連論文
- 知的エージェント環境SAGEの企業間ECへの応用 : 仮想カタログの概念に基づくSAGE : Francis(ソフトウェアエージェントとその応用論文特集)
- SAGE : 仮想カタログ データベースのエージェント化
- SAGE : 仮想カタログ ユーザエージェント
- SAGE : 仮想カタログ システムデザイン
- SAGE (Smart AGent Environment) : 仮想カタログ
- サービス価値の創出に向けて(サービスイノベーションとAI)
- 連載「計画問題と人工知能」にあたって
- エージェントによるアプリケーション
- 情報工学科の学生に望むこと
- 小特集「数理計画法と人工知能技術の融合」にあたって
- 論理に基づく論理設計支援 (「VLSI-CADと人工知能」)
- 特集「VLSI-CADと人工知能」にあたって
- 5.オフィスと人工知能技術(人工知能技術と産業応用)
- ソフトウェアエージェントのECへの応用
- ECにおける商品情報検索のためのエージェント技術
- 2. 方式・機能・論理設計におけるCAD 2.5 方式・機能・論理設計の検証 (論理装置CADの最近の動向)
- ハードウェアの機能設計段階における検証
- 分権コンピューティングと仲介エージェント (「創造的ネットワーク化情報環境に向けて」)
- 制約違反の十分条件を用いた組合せ制約充足/最適化
- ビジネスモデルの記述に関する一考察(インタプライスモデル化技術,一般)
- ビジネスモデル実現のための構成要素に関する一考察(インタプライズモデル化,一般)