情報・システム-ソフトウェアサイエンス(開催日:1996/07/24)

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

,  

[発表日]1996/7/24
[資料番号]
目次

,  

[発表日]1996/7/24
[資料番号]
等価変換による仮説推論

岡田 浩一,  赤間 清,  宮本 衛市,  

[発表日]1996/7/24
[資料番号]SS96-10
法的推論における否定の表現と計算

新田 見緑,  赤間 清,  宮本 衛市,  

[発表日]1996/7/24
[資料番号]SS96-11
C++プログラムの複雑度評価尺度の提案とその実験的評価

金 恩美,  楠本 真二,  菊野 亨,  

[発表日]1996/7/24
[資料番号]SS96-12
通信プロトコルのリアルタイム性のための記述モデルと時間制約試験法

寺谷 大亮,  角田 良明,  菊野 亨,  

[発表日]1996/7/24
[資料番号]SS96-13)
データベースカーネルの設計と仕様の代数的記述

三浦 康史,  奥井 順,  菊野 亨,  

[発表日]1996/7/24
[資料番号]SS96-14
[OTHERS]

,  

[発表日]1996/7/24
[資料番号]