The automated geometry reasoning system based-on forward chaining is used as the reasoning engine in the intelligent geometry teaching system.
智能几何教学软件都使用基于前推法的几何推理系统作为推理引擎。
The automated geometry reasoning system based-on forward chaining is used as the reasoning engine in the intelligent geometry teaching system.
智能几何教学软件都使用基于前推法的几何推理系统作为推理引擎。
应用推荐