1)  CA method
CA法
2)  CA
CA
1.
Effect of Ca on Compressive Creep Behavior of AE41 Alloy;
Ca对AE41合金压蠕变行为的影响
2.
Effects of Sn and Ca Addition on Microstructural Stability of ZA62 Magnesium Alloy;
Sn和Ca对ZA62合金组织稳定性的影响
3.
Microstructure and mechanical properties of As-extruded AM50(-Ca);
挤压AM50(-Ca)镁合金的显微组织与力学性能研究
3)  calcium
Ca
1.
Near-infrared Analysis of Nitrogen,Potassium,Calcium,and Magnesium in Tobacco Root;
烟草根中N、K、Ca、Mg的近红外光谱分析
2.
Microstructure and tensile properties of AE42-based magnesium alloys with calcium addition;
Ca对AE42镁合金的显微组织和拉伸性能的影响(英文)
3.
Analysis of Trace Calcium in EAF Steel by Photoelectric Spectrometer;
光电光谱分析电炉钢中微量Ca
4)  Ca(Ⅱ)
Ca(Ⅱ)
5)  Ca(Ⅱ)
Ca()
6)  Ca)
Ca)
1.
Ca)
MZrO_3(M=Ba,Sr,Ca)水热合成中结构与反应活性的关系
参考词条
补充资料:Carnap法则


Carnap法则
Carnap rule

  (’~p法则[Carn叩rule,沁,皿.“paBoJ,oj,乍咚吵:J纳法则(f+ujcof】nfinite IndLIct价n),〔,法则(‘沙一nile} 一个推导法则(d以ivati()n rule):对任意一个算术公式叫、),如果命题势(田,价(l).二都已被证明,那么命题丫%叫别可以看作已被证明.这个法则首先由R(arnap弓}人([门}O,maP法则用到由前提构成的无限集,因此不能用于D.Hilbert形式理论的结构中.在一个具有Carnap法则的系统内,推导概念是不可判定的,在数理逻辑中,为了研究形式算术,使用构造性〔)汀naP法则(cons姗tlw〔牡m叮)耐e):如果存在一个算法,使得对排一个自然数。,能用此算法给出公式华()l)的一个推导,那么命题军、甲(川可以认为被证明r(又称限制(!)法则(心tljcl以I臼一刚c),构造性无限归纳法则(rule‘)f以),巧trtlctl呢,n6mte inductlon)).由G〔记cl定理,占典算术演算是不完全的;如果把构造性Carllap法则加到占一典算术演算中去,那么就得到个完全系统‘(见{21{3〕).
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。