数理論理研究で行なった長時間計算 (数学とくに整数論,組合せ問題などの超大型計算)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 細井 勉

  津田塾大学

• 関本 年彦

  広島大学理学部

関連論文

• Combinatory Logicについて (数理論理とモデル理論)
• 数理論理研究で行なった長時間計算 (数学とくに整数論,組合せ問題などの超大型計算)

スポンサーリンク