（英）科瓦尔斯基（Kowalski，R.）著；郑守淇译1986 年出版198 页ISBN：15340·103
书名原文:Logicforproblemsolving:著者原题:R.科瓦尔斯基:本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用
（波）安东尼·所左曼诺夫斯基（Antoni Szumanowski）原著；何洪文编译2007 年出版215 页ISBN：7564010347
（美）马姆劳克，赞尼尔斯基著2008 年出版314 页ISBN：9787562443124
本书紧扣我国土木工程材料教学大纲，全面的介绍了目前土木工程材料领域的研究结果和理论进展，有助于国内的专科、本科和研究生的双语教学课程建设以及科技工作者作为参考用书。...
