researchmap
 

研究キーワード  [ 定理証明 ]

総件数: 6件

英訳theorem proving
意味数学的定理をコンピュータによって証明させること。あるいは、その理論。
類義語自動証明

  • <
  • >
  • オガワキヨシ
    名古屋市工業研究所
  • テラウチ タチオ
    早稲田大学
    理工学術院 基幹理工学部 情報理工学科  
    教授
  • 愛知県立大学
    情報科学部  
    教授
  • Preferred Networks, Inc.
    Engineer
  • 国立情報学研究所
    アーキテクチャ科学研究系  
    特任研究員
  • キノシタ シュウジ
    神奈川大学
    プログラミング科学研究所  
    プロジェクト研究員

  • <
  • >