王者之路王者之路：机器证明及其应用作者：吴文俊主编；张景中[等]编著 湖南 出版时间：1999丛编项：攀登计划普及丛书...