数理逻辑引论与归结原理 【数理化】

本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...

奇趣的仙人掌类变异 斑锦·缀化·石化及其他 彩图版 【农业科学】

本书主要介绍色彩斑斓、形态奇异的仙人掌类植物变异的370余个品种，共570余幅珍贵的彩色照片。描述了它们的体态、着色、刺座、沟棱、斑晕、毛状等，以及花形、花色等。...

2002年陕西省普通高等学校招生考试统计年报 【文化科学教育体育】

本书内容包括关于录取分数线、报考情况统计、招生计划统计等综合信息，以及对于高考成绩的统计，并收录试题、参考答案及试卷分析。

北京市国际疾病分类ICD-10死因统计指导手册 【医药卫生】

该手册内容包括国际疾病分类（ICD）、死亡医学证明书填写方法、疾病和死亡编码的规则和注释、ICD－10的使用、病案首页与死亡医学证明书的关系等六章。 ...

1962年的呼喊 半社会主义论及其评述 【经济】

本书的主干部分为作者写于六十年代初的两篇论文——半社会主义、怎么办。文中提出了“我国是一个经济落后的国家，我国目前的经济是半社会主义性质的经济，中国只有通过半社会主义的相当长的发展阶段，才能完成社...

中国食品工业标准汇编 肉、禽、蛋及其制品卷 第2版 【工业技术】

本书收集了截止2003年6月底批准发布的肉类、禽、蛋及其制品的国家标准和行业标准、包括肉及其制品标准，禽、蛋及其制品标准，试验方法标准，相关标准和卫生管理方法。...

三峡水库对重庆段水环境影响及其对策 【其他书籍】

本书系统全面的分析了三峡库区重庆段的污染负荷现状、水环境质量现状并采用先进的水质数学模型对成库后的相关变化情况进行了合理的预测和分析，并对库区城市污水处理技术，排水系统整洁技术进行了探讨，同时本书...

金属成矿省演化与成矿年代学 以华北地台北缘及其北侧金属成矿省为例 【天文地球】

水轮发电机组及其附属设备国际招标采购 【工业技术】

本书主要介绍使用世行贷款采购时招标文件编制中应注意的问题，以及采用国际公开招标方式时，商务条款中需慎重考虑的问题，并详细叙述了水电站混流式水轮发电机组，轴流式转桨式水轮发电机组，灯泡贯流式水轮发电机组...

探索与创新 5 首届露露杯全国优秀统计论文集 【社会科学】

本书为优秀统计论文集，作者为各地区、部门、单位、院校统计工作者。论文分四大部分：统计评价；统计实践与方法应用；统计理论问题研究；实证分析研究。...