题名:	王者之路 / 吴文俊主编 ,
ISBN:	7-5357-2858-8 订购价格：￥15.00
语种:	chi
载体形态:	195页 20cm
出版发行:	出版地：长沙出版社：湖南科学技术出版社出版日期： 1999
主题词:	机器证明-基础理论
中图分类法:	TP18 版次： 4
主要责任者:	吴文俊主编
索书号:	TP18/6043