竹内 泉 | 東北大学大学院理学研究科

スポンサーリンク

概要

• 同名の論文著者
• 東北大学大学院理学研究科の論文著者

関連著者

• 竹内 泉

  東邦大学理学部

• 竹内 泉

  東北大学大学院理学研究科

著作論文

• 切断除去による計算可能性の証明(証明論と逆数学)

スポンサーリンク