金森 直 | 三菱電機中央研究所システム基礎研究部

スポンサーリンク

概要

• 同名の論文著者
• 三菱電機中央研究所システム基礎研究部の論文著者

関連著者

• 金森 直

  三菱電機中央研究所システム基礎研究部

• 藤田 博

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

• 藤田 博

  三菱電機中研

• 金森 直

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

• 藤田 博

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

著作論文

• カウンタを用いたunfold/fold技法によるPrologプログラムの変換
• 帰納法を用いる定理証明システム (「人工知能と定理証明システム」)

スポンサーリンク