大矢 建正 | 九州大学工学部

スポンサーリンク

概要

• 大矢 建正の詳細を見る
• 同名の論文著者
• 九州大学工学部の論文著者

関連著者

• 大矢 建正

  九州大学工学部

• 西村 敏男

  筑波大学

• 井出 修

  東京教育大学理学部

• 神居 雅志

  東京教育大学理学部

• 西村 敏男

  東京教育大学

著作論文

• The Formal System for Various 3-Valued Logics (I) (アルゴリズムにおける証明論)
• Theorem-ProvingのProgram (プログラムの基礎理論)

スポンサーリンク