情報・システム-知能ソフトウェア工学(開催日:1998/08/06)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]1998/8/6
[資料番号]
目次

,  

[発表日]1998/8/6
[資料番号]
動的な依存関係を利用した分散オブジェクトの協調機構に関する提案

大木 幹雄,  

[発表日]1998/8/6
[資料番号]KBSE98-4
フライトスケジューリングへの協調分散アプローチ

山田 一穂,  中田 智之,  永田 守男,  

[発表日]1998/8/6
[資料番号]KBSE98-5
一階論理制約の等価変換を用いた問題解決の枠組

吉田 忠行,  赤間 清,  宮本 衛市,  

[発表日]1998/8/6
[資料番号]KBSE98-6
論理的問題にかわる新しい問題クラスの導入

赤間 清,  小池 秀勝,  宮本 衛市,  

[発表日]1998/8/6
[資料番号]KBSE98-7
仕様からの等価変換ルールの生成法

小池 英勝,  赤間 清,  宮本 衛市,  

[発表日]1998/8/6
[資料番号]KBSE98-8
関係推論に基づく入出力データ構造不一致の検出方法の定式化の拡張

,  橋本 正明,  廣田 豊彦,  

[発表日]1998/8/6
[資料番号]KBSE98-9
[OTHERS]

,  

[発表日]1998/8/6
[資料番号]