王者之路：机器证明及其应用

作者：吴文俊主编；张景中[等]编著

出版社：湖南科学技术出版社

出版时间：1999-01-01

ISBN：9787535728586

定价：¥15.00