堀内 謙二 | 三菱電機(株)中央研究所

スポンサーリンク

概要

• 堀内 謙二の詳細を見る
• 同名の論文著者
• 三菱電機(株)中央研究所の論文著者

関連著者

• 堀内 謙二

  三菱電機(株)中央研究所

• 堀内 謙二

  三菱電機(株)産業システム研究所

• 金森 直

  三菱電機(株)先端技術総合研究所

• 堀池 聡

  三菱電機(株)

• 堀内 謙二

  (財)新世代コンピュータ技術開発機構:(現)三菱電機産業システム研究所

• 金森 直

  三菱電機(株)中央研究所

• 堀池 聡

  三菱電機(株)産業システム研究所

• 金森 直

  (株)三菱電機 中央研究所

• 堀内 謙二

  (株)三菱電機 中央研究所

著作論文

• 電力系統データベースの国際標準化について
• 一般化したunfold/fold技法を用いた論理プログラムの変換合成 (プログラム合成/変換)
• 一般化したUnfold/Fold技法を用いたPrologプログラムの変換合成

スポンサーリンク