researchmap
 

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

総件数: 4件


  • <
  • >
  • アライ ノリコ
    (Noriko H. Arai)
    国立情報学研究所
    社会共有知研究センター  
    センター長・教授
  • アオト タカヒト
  • ハマナ マコト
    群馬大学大学院
    理工学府 電子情報部門  
    准教授
  • ヤマザキ イサム
    旧所属 筑波技術大学 
    名誉教授

  • <
  • >