蓮尾 一郎 | 東京工業大学情報理工学研究科数理・計算科学専攻

スポンサーリンク

概要

• 蓮尾 一郎の詳細を見る
• 同名の論文著者
• 東京工業大学情報理工学研究科数理・計算科学専攻の論文著者

関連著者

• 蓮尾 一郎

  東京工業大学情報理工学研究科数理・計算科学専攻

• 鹿島 亮

  東京工業大学情報理工学研究科数理・計算科学専攻

• 鹿島 亮

  東京工業大学情報理工学研究科数理計算科学専攻

著作論文

• A Proof-Theoretical Study on Logics with Constructible Falsity (Sequent Calculi and Proof Theory)

スポンサーリンク