大学环境教育丛书 固体废物的全过程管理——工程原理及管理问题 【其他书籍】

豫西南地区全面推进素质教育战略及对策课题的研究报告 【文化科学教育体育】

南江文史资料 第9辑 南江农业五十年 1949-1999 农业专辑 【历史地理】

中国科技发展研究报告 2000 科技全球化及中国面临的挑战 【文化科学教育体育】

中国科技发展研究报告 2000 科技全球化及中国面临的挑战 【其他书籍】

中国科学院博士学位研究生学位论文 新型卟啉的合成及性质研究 【数理化】

电子商务与流通革命 创造全新的商务模式及中外企业电子商务实例 【经济】

农业新阶段新思路新对策 持续高效农业高级研讨班论文集 【农业科学】

日常生活的精神病理学 遗忘、语误、误引行为、迷信及错误 【哲学宗教】

本书是作者关于生活心理分析方面的论文，恋爱、婚姻等日常生活的行为。

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...