大嶋 真治 | 電気通信大学情報工学科

スポンサーリンク

概要

• 大嶋 真治の詳細を見る
• 同名の論文著者
• 電気通信大学情報工学科の論文著者

関連著者

• 村尾 裕一

  電気通信大学

• 村尾 裕一

  電気通信大学電気通信学部情報工学科

• 村尾 裕一

  東大 大型計算機セ

• 大嶋 真治

  電気通信大学情報工学科

著作論文

• 自動証明を効果的に行うための手法 (Computer Algebra : Design of Algorithms, Implementations and Applications)

スポンサーリンク