— (美)马丁·戴维斯著
索书号：K815.16/259
标准编码： 7-5357-4239-4
出版信息：长沙 湖南科学技术出版社 2005
中文图书
收藏
— (美) 马丁·戴维斯著
索书号：B81-49/259
标准编码： 978-7-5357-4239-1
出版信息：长沙 湖南科学技术出版社 2007
— (美)马丁·戴维斯(MARTIN DAVIS)著
索书号：TP302.2/259
标准编码： 978-7-5357-9442-0
出版信息：长沙 湖南科学技术出版社 2018
1 共有：3条记录
