北山南带构造岩浆演化与金的成矿作用

本书系统阐述了北山南带的大地构造单元特征和演化历史，全面总结了北山南带各类金矿床的地质特征并分析其控制机制，建立区域构造岩浆演化与金的成矿作用的区域成矿耦合模式；圈定了北山南带金矿床的有利成矿区域...

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

世界的逻辑构造

"卡尔那普是20世纪著名的分析哲学家，维也纳学派的领袖之一。《世界的罗辑构造》是他早期的代表作。他在此书中运用弗雷格、罗素肇始的逻辑分析方法，将一切科学领域的要领都分析、还原到直接经验的基础，用“原...

基于模糊认知图的集成分类器构造研究

本书是以作者多年的研究成果为基础的著作，也是国内第一本以模糊认知图为主题的图书。本书密切跟踪国际前沿研究主流发展趋向，探析了模糊认知图的研究方向、模糊认知图的学习方法、模糊认知图分类器及其集成模...

谁“拆”了我的汽车 透视底盘构造与原理

《谁“拆”了我的汽车：透视底盘构造与原理》是“刘总监解车热线书系”之一。本书是面向广大汽车爱好者、车主、驾驶人、汽车类专业学生、汽车技术人员及汽车维修人员的图册，书中以大量精美的图片为主，简单的文...

中国佛教学术论典 66 佛教词语构造与汉语词汇的发展 慧琳和他的一切经音义

本书系《法藏文库·中国佛教学术论典》中的第66册，此册共收录佛教学博士学位论文、硕士论文各一篇。

保险代位的制度构造研究＝RESEARCH ON THE SYSTEM STRUCTURE OF INSURANCE SUBROGATION

层状岩石的层序 研究形相和构造以鉴定层状和板状岩石中的接续次序或顶面和底面

中国陆域航磁与地质构造特征 基于中国路域1：100万航磁异常图的解释

雪峰山的构造性质与演化 一个陆内造山带的形成演化模式

国家科学技术委员会学术著作出版基金资助项目中山大学学术著作出版基金资助项目国家自然科学基金资助项目研究成果“七五”国家科技攻关重点研究项目54项课题研究成果:本书论述了雪峰山地区的区域地质、深...