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

周汝奇，彭树森编1983 年出版209 页ISBN：13217·053

中国人文科学学报研究会编辑委员会、学术委员会编2000 年出版378 页ISBN：7303053255

本书收入“中国人文社会科学学报面向21世纪编辑出版研讨会”论文37篇，探讨了高等学校文科学报编辑工作的地位、作用、管理、发展、未来等。 ...

M.M.马诺原著；司徒金波译著1994 年出版304 页ISBN：7506219883

（英）科瓦尔斯基（Kowalski，R.）著；郑守淇译1986 年出版198 页ISBN：15340·103

书名原文:Logicforproblemsolving:著者原题:R.科瓦尔斯基:本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用

姚振汉等编2006 年出版339 页ISBN：7302135304

本书是第10届EPMESC国际会议论文集。

国家自然科学基金委员会数学物理科学部编2017 年出版427 页ISBN：9787030514912

本书为国家自然科学基金委员会”十三五”数理科学学科发展战略报告，讲述了数学，力学、天文学、物理学以下四个方面内容：学科的战略地位、学科发展规律与发展态势、学科发展现状与发展布局、学科发展目标及其实...

南京大学图书馆编1980 年出版681 页ISBN：

吴建平译1970 年出版211 页ISBN：

（美）Shoichiro Nakamura著；梁恒，刘晓艳等译2002 年出版378 页ISBN：7505376411

宁正元著2006 年出版262 页ISBN：7561526768

本书从生命科学和计算机科学的特点出发，介绍了计算机在生物学中的应用现状，并按照动物学、植物学、微生物学、分子生物学等生物子学科的各自特点，归纳了相关的计算机技术在这些子学科中的应用。...