数学定理证明机械化的中国学派(II) Home » 编程开发 » 数学定理证明机械化的中国学派(II) 所谓“学派”是指:存在一帮人,具有相同或接近的学术观点或学术立场,采用某种特定的“方法”(或途径),在一个学 … 阅读更多