ALGORITHM AND IMPLEMENTATION OF MECHANICAL PROVING OF A CLASS OF THEOREMS IN ELEMENTARY DIFFERENTIAL GEOMETRY

　
英 美
  • 一類初等微分幾何定理機器證明的演算法與實現
以上內容獨家創作，受著作權保護，侵權必究

今日熱詞
相關詞典網站：

牛津高階第八版

美國韋氏詞典

Dictionary.com

Free Dictionary

維基百科 (自由的百科全書)

目錄 附錄 查詞歷史