不等式机器证明与自动发现百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有435,577项符合查询结果项。（搜索耗时：0.4511秒）

为您推荐：代数不等式的证明分析基础机器证明系统机器证明几何定理机器证明的案例工业机器人集成应用机构设计篇自动化全4册工业机器人集成应用机构设计篇自动化

不等式的证明及应用

查看PDF目录购买本书
王传荣，张云晓编1983 年出版239 页ISBN：13212·52
数理逻辑与机器证明

查看PDF目录购买本书
2222 年出版0 页ISBN：
符号逻辑与定理机器证明

查看PDF目录购买本书
张伟编著1995 年出版310 页ISBN：9787561029718
数理逻辑与机器证明

查看PDF目录购买本书
陆钟万著1983 年出版186 页ISBN：7030019199
证明与反驳数学发现的逻辑

查看PDF目录购买本书
1987 年出版0 页ISBN：
初等不等式的证明方法

查看PDF目录购买本书
韩京俊编著2011 年出版340 页ISBN：9787560332826
本书共分15章，选取300余个国内外初等不等式的典型问题，以解析解题方法，并对部分问题加以拓展。
数学奥林匹克不等式证明方法和技巧下

查看PDF目录购买本书
蔡玉书编著2011 年出版602 页ISBN：7560331829
数学奥林匹克不等式证明方法和技巧上

查看PDF目录购买本书
蔡玉书编著2011 年出版621 页ISBN：7560331829
证明与反驳数学发现的逻辑

查看PDF目录购买本书
（英）拉卡托斯（Lakatos，I.）等编著；康宏逵译1987 年出版209 页ISBN：2188·44
本书探讨了数学发现的逻辑
初等不等式的证明方法

查看PDF目录购买本书
韩京俊编著2014 年出版343 页ISBN：9787560349800
本书介绍初等不等式证明中的有效方法，共分15章，选取300余个国内外初等不等式的典型问题，以解析的方法解题，并对部分问题加以拓展，不少例题都配有较大篇幅的注解。本书适合相关专业师生阅读和使用，也可供专业人员....