JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science : ISSN 0918-7553 >
Fault tolerant software in parallel logic programming languages
Unique normal proof property for implicational minimal formulas in the intuitionistic logic
動的QOS制御をサポートする連続メディア処理に適したプロセッサ管理機構
実画像を用いたテクスチャマッピングによる3次元可視化
Po-hyperdoctrinal semantics for substructural predicate logics