题名:	王者之路：机器证明及其应用 / 吴文俊主编 ,
ISBN:	7-5357-2858-8 价格：
中图分类法:	O1-0 版次：
索书号:	O1-0/6002