大嶽 能久 | (財)新世代コンピュータ技術開発機構

スポンサーリンク

概要

• 大嶽 能久の詳細を見る
• 同名の論文著者
• (財)新世代コンピュータ技術開発機構の論文著者

関連著者

• 大嶽 能久

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

• 新田 克己

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

• 大崎 宏

  (財)日本情報処理開発協会

• 大崎 宏

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

• 前田 茂

  (株)東芝マルチメディア技術研究所

• 前田 茂

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

• 小野 昌之

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

• 坂根 清和

  新日本製鐵

• 米田 順美

  (財)日本情報処理開発脇会

• 瀧 和男

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

• 瀧 和男

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

• 瀧 和男

  神戸大学

• 伊達 博

  (株)日立製作所日立研究所

• 伊達 博

  (財)新世代コンピュータ技術開発機構第7研究所

• 瀧 和男

  神戸大 大学院工学系研究科

もっと見る 閉じる

著作論文

• 法的推論システムHELIC-II(4) : 論理構築支援
• 法的推論システム HELIC-II
• 法的推論システムHELIC-II(1) : 並列定理証明器MGTPを拡張した法律条文に基づく推論
• 並列オブジェクトモデルに基づくLSI配線プログラム (並列処理)

スポンサーリンク