Theorem-ProvingのProgram (プログラムの基礎理論)

スポンサーリンク

概要

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

著者

• 井出 修

  東京教育大学理学部

• 大矢 建正

  九州大学工学部

• 神居 雅志

  東京教育大学理学部

• 西村 敏男

  東京教育大学

• 西村 敏男

  筑波大学

関連論文

• 一般教育におけるコンピュータ教育のあり方
• The Formal System for Various 3-Valued Logics (I) (アルゴリズムにおける証明論)
• Theorem-ProvingのProgram (プログラムの基礎理論)
• Implementation of Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論)
• 情報処理技術者の職種等調査報告
• Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論)
• Gentzen-Style Formulation of Systems of Set-Calculus (プログラムの基礎理論)
• 高等専門学校における情報処理教育の実情調査
• 記号論理・アルゴリズム(その2)
• 記号論理・アルゴリズム(1)
• 定理の証明

もっと見る 閉じる

スポンサーリンク