逻辑的引擎
- ISBN-10
- 7535742394
- ISBN-13
- 9787535742391
- Pages
- 303
- Language
- Chinese
- Published
- 2005
- Publisher
- 湖南科学技术出版社
- Author
- Martin Davis
Description
Ben shu jiang shu de shi wei yu ji suan ji bei hou de si xiang ceng mian de li shi. ta tong guo yin ren ru sheng de cai liao miao xie le yi xie ke xue jia de sheng huo he gong zuo, jiang shu le shu xue jia men ru he zai cheng guo fu zhu ying yong zhi qian jiu yi jing ti chu le qi bei hou de si xiang, cong er xiao chu dui ji suan ji de shen mi gan, tong shi hai ke yi dui xi fang wen hua de he xin zhi yi -- luo ji huo shu xue you geng shen de li jie.
