面向计算机科学的数理逻辑相关电子书下载

周浩明，张晓东编著2002 年出版222 页ISBN：781050889X

2222 年出版0 页ISBN：

Richard S. Sandige ; Michael L. Sandige ; 罗嵘2015 年出版720 页ISBN：7302386834

叶广文，张月平，王玉兰等主编；帅宝强，牛兆斌，李云智等副主编2000 年出版796 页ISBN：750730843X

马希文著2003 年出版604 页ISBN：7100035430

马希文(1939-2000年)为我国计算语言学尊基人.与朱德熙先生共同组建北大计算语言学研究所. 　　本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学（包括计算语言学）方面的重要论述20...

李阳著2019 年出版222 页ISBN：9787305227295

（美）文森特·P.巴拉巴（V.P.Barabba）著；王恩冕，于少蔚译1998 年出版231 页ISBN：7500105002

李喜平著1998 年出版390 页ISBN：7303049584

朱玉主编；浙江师范大学教育科学研究所编1998 年出版425 页ISBN：7107126296

陈建安主编1994 年出版306 页ISBN：7543905221