情報処理技術者の職種等調査報告

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1975-08-15

著者

• 西村 敏男

  筑波大学

関連論文

• 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 (アルゴリズムにおける証明論)

スポンサーリンク