搜索结果: 1-1 共查到“几何学 Search”相关记录1条 . 查询时间(0.031 秒)
In this chapter, we review the work of automated geometry theorem proving based on heuristic search methods and report some recent advances in this direction, especially the geometry deductive databas...