几何定理机器证明的案例百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有513,735项符合查询结果项。（搜索耗时：0.5961秒）

为您推荐：几何定理机器证明的基本原理挑战思维极限勾股定理的365种证明证明的故事从勾股定理到现代数学几何最著名24个定理证明及应用几何定理的机械化证明分析基础机器证明系统

未来的农业机器

查看PDF目录购买本书
（苏）华西里耶夫（М.Васильев）著；石含英译1957 年出版20 页ISBN：16015·8
基于解释的机器学习方法

查看PDF目录购买本书
2222 年出版0 页ISBN：
庞大的机器

查看PDF目录购买本书
（英）史蒂夫·帕克（Steve Parker），（英）彼得·拉弗蒂（Peter Lafferty），（英）史蒂夫·赛特福特（Steve Setford）著；刘兴良译2006 年出版61 页ISBN：7564006692
本书是大型机器的普及读物。
高中化学公式定理手册

查看PDF目录购买本书
方圆主编2011 年出版311 页ISBN：9787500085560
本书收录高中化学中的公式定理。
机器脚踏车的构造

查看PDF目录购买本书
（苏）西洛夫（А.В.Серов）等著；李敏译1956 年出版314 页ISBN：
会思考的机器

查看PDF目录购买本书
（苏）列因别尔格（М.Г.Рейнберг）著；于桂芝译1958 年出版114 页ISBN：15051·152
医学和科学中的机器人机器人世界

查看PDF目录购买本书
（英）史蒂夫·帕克著；杨飞虎，王竞男译2017 年出版29 页ISBN：9787111568513
机器人世界丛书带读者走进神奇的机器人世界。它告诉我们机器人究竟是什么，以及它们是如何工作和交流的。这套丛书涵盖了所有类型的机器人，本书主要介绍在医学领域和科学领域的机器人，介绍他们的原理以及所起到...
中学数学证明方法修订本

查看PDF目录购买本书
吴振奎编著1979 年出版424 页ISBN：7090·321
微积分学中值定理研究

查看PDF目录购买本书
马保国著2006 年出版316 页ISBN：9799889884627
指标定理与热方程方法

查看PDF目录购买本书
虞言林著1996 年出版255 页ISBN：7532339092