书名：王者之路: 机器证明及其应用
出版社：湖南科学技术出版社
作者：吴文俊; 张景中; 杨路; 侯晓荣; 刘卓军
出版年份：1999
电子书格式： pdf
简介：《王者之路：机器证明及其应用》是吴文俊、张景中等多位专家学者共同编著的一部关于机器证明与自动推理领域的经典著作。本书系统地介绍了机器证明的理论基础、方法和实际应用，涵盖了从基础概念到高级应用的广泛内容。无论是数学爱好者、计算机科学专业学生还是研究人员，都能从中受益，深入了解机器证明在科学研究中的重要作用。多考网提供免费电子书下载，欢迎访问duokao获取更多资源。
ISBN：9787535728586, 75357