長谷川 隆三 | 新世代コンピュータ技術開発機構

スポンサーリンク

概要

• 同名の論文著者
• 新世代コンピュータ技術開発機構の論文著者

関連著者

• 長谷川 隆三

  新世代コンピュータ技術開発機構

• 赤埴 淳一

  日本電信電話株式会社NTTネットワークサービスシステム研究所

• 赤埴 淳一

  Nttコミュニケーション科学基礎研究所

• 井上 克巳

  豊橋技術科学大学情報工学系

• 藤田 正幸

  三菱総合研究所

• 藤田 正幸

  株式会社三菱総合研究所

• 藤田 正幸

  (株)三菱総合研究所

• 藤田 正幸

  三菱総研

• 藤田 博

  三菱電機中研

• 越村 三幸

  新世代コンピュータ技術開発機構

• 藤田 博

  三菱電機中央研究所:新世代コンピュータ技術開発機構

もっと見る 閉じる

著作論文

• PIM上の並列定理証明系MGTP
• 様相節変換に基づくボトムアップ型様相論理証明法
• 信念様相論理に対する様相節変換型証明器の実現
• 様相節変換に基づくMGTP上の様相論理証明器の効率的実現

スポンサーリンク