田中 義人 | 九州産業大学経済学部

スポンサーリンク

概要

• 田中 義人の詳細を見る
• 同名の論文著者
• 九州産業大学経済学部の論文著者

関連著者

• 田中 義人

  九州産業大学経済学部

著作論文

• 共通認識論理の証明系 (シークエント計算による証明論)

スポンサーリンク