- 书名：几何定理机器证明的基本原理
- 出版社：科学出版社
- 作者：吴文俊
- 出版年份：1984
- 电子书格式： pdf
- 简介：深入浅出讲解几何定理机器证明的基本原理，吴文俊院士的经典之作，涵盖了机器证明的核心概念和方法。本书从基础知识出发，逐步深入，并结合大量的实例，帮助读者理解和掌握机器证明的技巧。对于计算机科学、数学等领域的专业人士和研究人员，以及对机器证明感兴趣的读者，本书都具有重要的参考价值。通过学习本书，读者能够了解机器证明的理论基础、关键步骤和应用，进而提升自身在相关领域的专业技能。
- ISBN：9787030283771, 70302
- 下载地址（点击下载）：
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。
评论(0)