PIM上の並列定理証明系MGTP
スポンサーリンク
概要
- 論文の詳細を見る
- 1993-07-20
著者
-
藤田 正幸
三菱総合研究所
-
藤田 正幸
株式会社三菱総合研究所
-
藤田 正幸
(株)三菱総合研究所
-
藤田 正幸
三菱総研
-
藤田 博
三菱電機中研
-
長谷川 隆三
新世代コンピュータ技術開発機構
-
越村 三幸
新世代コンピュータ技術開発機構
-
藤田 博
三菱電機中央研究所:新世代コンピュータ技術開発機構
関連論文
- 技術文書整形出力システム:TEX (エディタ)
- 反証による代数的仕様記述の検証支援
- プロフィーリング法に基づくクレジット入会審査エキスパート・システム(QCとAI)
- プログラム生成システム PAPYRUS
- 市場金利変動分布とLevy-Flightモデル
- MGTP による有限代数の新事実の発見
- PIM上の並列定理証明系MGTP
- 様相節変換に基づくボトムアップ型様相論理証明法
- 信念様相論理に対する様相節変換型証明器の実現
- 様相節変換に基づくMGTP上の様相論理証明器の効率的実現
- カウンタを用いたunfold/fold技法によるPrologプログラムの変換
- インターネットのおとし穴 (インターネットのおとし穴)