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