搜索:逻辑的引擎

逻辑引擎

种子下载[快] 直链下载[慢] 在线试读 购买云解压

文件大小:12MB 标注页数:293页 文件页数:307页

MD5:65466e45f5822cc65981e58681353e6d

ISBN:7535742394

出版社:长沙:湖南科学技术出版社

作者:(美)戴维斯著;张卜天译

出版时间:2007

逻辑引擎

种子下载[快] 直链下载[慢] 在线试读 购买云解压

文件大小:36MB 标注页数:293页 文件页数:307页

MD5:daa1836a5bbacadf77e420cd4d769196

ISBN:7535771827

出版社:长沙:湖南科学技术出版社

作者:(美)马丁·戴维斯著;张卜天译

出版时间:2012

逻辑引擎

种子下载[快] 直链下载[慢] 在线试读 购买云解压

文件大小:26MB 标注页数:291页 文件页数:311页

MD5:e1a942710efe4ac825d477fdf7da22ad

ISBN:9787535794420

出版社:长沙:湖南科学技术出版社

作者:(美)马丁·戴维斯(Martin Davis)著

出版时间:2018

逻辑引擎

种子下载[快] 直链下载[慢] 在线试读 购买云解压

文件大小:10MB 标注页数:293页 文件页数:304页

MD5:44b7ce34a1ac428cebada4b4bc5cdcff

ISBN:7535742394

出版社:长沙:湖南科学技术出版社

作者:(美)马丁·戴维斯(Martin Davis)著;张卜天译

出版时间:2005