题名:
王者之路——机器证明及其应用
/ 吴文俊主编 ,
ISBN:
7-5357-2858-8 价格：
出版发行:
出版地： 出版社：
湖南科学技术出版社
出版日期： 1999
中图分类法:
O1-0 版次：