中国科学院中国动物志编辑委员会主编;郑守仪,傅钊先编著2001 年出版1029 页ISBN:7030083040
国家自然科学基金“八五”重大项目国家自然科学基金委员会资助出版(国家自然科学基金委员会中国科学院科学技术部资助):本书包括胶结有孔虫研究简史、演化和系统分类、形态学、生物学、生态学及在古生态学...
(英)科瓦尔斯基(Kowalski,R.)著;郑守淇译1986 年出版198 页ISBN:15340·103
书名原文:Logicforproblemsolving:著者原题:R.科瓦尔斯基:本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用