大约有513,735项符合查询结果项。（搜索耗时：0.6496秒）
为您推荐：
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
-
乔家瑞，国运之，裘大彭主编2003 年出版399 页ISBN：7506248980
-
乔家瑞，国运之，裘大彭主编2003 年出版315 页ISBN：7506248972
-
苏联机器制造百科全书编辑委员会编；章澄思译1955 年出版40 页ISBN：
-
苏联机器制造百科全书编辑委员会编；范国宝译1955 年出版69 页ISBN：
-
（日）霞香织；张蓓蓓译2013 年出版175 页ISBN：
-
（苏）科兹洛夫（Козлов，Ю.С.）著；罗世同译1986 年出版314 页ISBN：15033·6291
-
孙建成，戴利云著2015 年出版136 页ISBN：9787549338375
-
佩捷主编2016 年出版151 页ISBN：9787560357348
本书主要介绍了拉姆塞的基本理论和拉姆塞数，并论述了组合学家、图论学家、概率学家眼中的拉姆塞定理，最后讨论了拉姆塞定理的应用与未来。本书可供从事这一数学分支相关学科的数学工作者、大学生以及数学爱好...
-
刘建著2001 年出版83 页ISBN：7806480315
本书主要内容包括：广义统一劳动和对传统的经济理论的错误所作的校正两部分以及附录以国企职工的视角来认识全民所有制；《广义统一劳动论》释义；我的理论探索。...
