研究キーワード

自動定理証明

研究キーワードが「自動定理証明」である研究者

  • ヤマザキ イサム
    Isamu Yamazaki
    旧所属 筑波技術大学
    名誉教授
  • テラウチ タチオ
    Tachio Terauchi
    早稲田大学
    理工学術院 基幹理工学部 情報理工学科 教授
  • アライ ノリコ
    Noriko Arai
    国立情報学研究所
    情報社会相関研究系 教授