扫一扫
关注中图网
官方微博
出版社：
- 科学出版社(7)
- 科学出版社(7)
- 中国林业出版社(1)
- 中国林业出版社(1)
- 云南科技出版社(1)
- 云南科技出版社(1)
- 科学出版社(7)
- 科学出版社(7)
- 云南科技出版社(1)
- 云南科技出版社(1)
- 中国林业出版社(1)
- 中国林业出版社(1)
-
-
-
-
-
-
罗平生物群:三叠纪海洋生态系统复苏和生物辐射的见证(精)
¥85.8(6.7折)定价:¥128.0本书全面介绍了被誉为本世纪很重要的发现之一的化石宝库——罗平生物群的研究成果，配以大量彩图，栩栩如生地展示了海生爬行类、鱼类、节肢动物、棘皮动物、菊石、双壳、腹足类、腕足类、植物等10多个大类的化石。罗平生物群是一个世界珍稀的三叠纪海洋生物化石库，不仅对研究生物演化，尤其是2.52亿年前的大灭绝之后的生物复苏有着十分重要的意义，而且对生态学、埋藏学、古地理、古气候及油气地质学都有极为重要的科学价值...
-
-
江西九连山种子植物名录
¥59.4(6折)定价:¥99.0本书主要记录江西九连山保护区辖区内种子植物，对龙南县范围内少数有重要科研及保护价值的也一并收录，共收录种子植物共175科883属（含10个亚属）2129种（含9个变种、128个变种、6个变型及306个栽培种）。本书按APGIV系统排列科名、属名，种名按拉丁名的字母顺序排列，种名的中文名、拉丁名采用中国科学院植物研究所植物智网站（htp://www.iplant.cn/）及英文版《Flora of China》的学名核准。种名前标注“*
-
R-演算:一种信念修正的逻辑(英文版)(R-CALCULUS: A LOGIC OF BELIEF REVISION)
¥91.0(7折)定价:¥130.0R-演算是非单调的Gentzen型演绎系统，是一种具体的信念修正算子，被证明满足AGM假设和DP假设。本书是为了扩展R演算（i）从一阶逻辑到命题逻辑，描述逻辑，模态逻辑和逻辑编程；（ii）从最小变化语义到子集最小变化，伪子公式最小变化和基于演绎的最小变化（最后两个最小变化是新定义的）；并针对这些极小值证明合理性和完整性定理。这些逻辑的变化。为了使R-演算可计算，我们在递归理论中给出了使用有限伤害优先级方法的近似R-演算。此外，R演算的
