論理学の歴史とコンピュータ (数学解析の計算機上での理論的展開とその遂行可能性)

スポンサーリンク

概要

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

著者

• 高橋 正子

  国際基督教大学 理学科

関連論文

• On Computable Tree Functions (Algorithms in Algebraic Systems and Computation Theory)
• プログラムの起源を探る
• 論理学の歴史とコンピュータ (数学解析の計算機上での理論的展開とその遂行可能性)
• The Greatest Fixed-Points and Rational Omega-Tree Languages : Extended abstract(Algorithms : Mathematical Foundations and Applications)

スポンサーリンク