1) Greibach normal form theorem
格里巴赫范式定理
2) Banach theorem
巴拿赫定理
3) Banach lattice
巴拿赫格
1.
ε-isometry in Banach lattice;
巴拿赫格中的ε-等距(英文)
4) normal form theorem
范式定理
1.
Disjunction(Conjunction) normal form theorem in the modal logic system S5 is inductively proved,which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5.
研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法。
5) Herschel-Buckley formula
赫-巴模式
6) Herschel-Buckley model
赫巴模式
补充资料：冈伯格巴赫曼醇合成
分子式：
CAS号：
性质： 两分子醛或酮在乙醚、苯等溶剂中在镁和溴化镁(或碘化镁)作用下,偶联成频哪醇衍生物,经水解成为频哪醇。是合成这类化合物的重要方法。
CAS号：
性质： 两分子醛或酮在乙醚、苯等溶剂中在镁和溴化镁(或碘化镁)作用下,偶联成频哪醇衍生物,经水解成为频哪醇。是合成这类化合物的重要方法。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条