Achievement of Bidirectional Organum in Automatic Solution of Elementary Geometry
Achievement of Bidirectional Organum in Automatic Solution of Elementary Geometry
双向推理系统在初等几何自动解题中的实现
Achievement of Bidirectional Organum in Automatic Solution of Elementary Geometry
双向推理系统在初等几何自动解题中的实现