関川 浩

研究成果

年別の研究成果 1997 2006 2007 2008 2009 2023

• 20 Article
• 13 Conference contribution
• 2 Review article
• 1 Paper

年別の研究成果

年別の研究成果

検索結果

• 2006

  Deductive system for human-like proofs in geometry

  Miyamoto, K., Yamamoto, W., Sekigawa, H. & Shirayanagi, K., 1 1月 2006, p. 5-20. 16 p.

  研究成果: Paper › 査読

  • Human-like 100%
  • Configuration Dependencies 100%
  • Deductive System 100%
  • System Use 33%
  • Line-based 33%