- 书名：王者之路: 机器证明及其应用
- 出版社：湖南科学技术出版社
- 作者：吴文俊; 张景中; 杨路; 侯晓荣; 刘卓军
- 出版年份：1999
- 电子书格式： pdf
- 简介：《王者之路：机器证明及其应用》是吴文俊、张景中等多位专家学者共同编著的一部关于机器证明与自动推理领域的经典著作。本书系统地介绍了机器证明的理论基础、方法和实际应用，涵盖了从基础概念到高级应用的广泛内容。无论是数学爱好者、计算机科学专业学生还是研究人员，都能从中受益，深入了解机器证明在科学研究中的重要作用。多考网提供免费电子书下载，欢迎访问duokao获取更多资源。
- ISBN：9787535728586, 75357
- 下载地址（点击下载）：
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。
评论(0)