西村 敏男 | 筑波大学

スポンサーリンク

概要

• 西村 敏男の詳細を見る
• 同名の論文著者
• 筑波大学の論文著者

関連著者

• 西村 敏男

  筑波大学

• 大矢 建正

  九州大学工学部

• 中西 正和

  慶応義塾大学 理工学研究科 計算機科学専攻

• 永田 守男

  慶応義塾大学理工学部管理工学科

• 中西 正和

  慶應義塾大学理工学部情報工学科

• 井出 修

  東京教育大学理学部

• 神居 雅志

  東京教育大学理学部

• 西村 敏男

  東京教育大学

• 岩丸 良明

  慶応義塾大学工学部

著作論文

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

スポンサーリンク