内插定理
Interpolation theorem and preservation theorem in first order logic have determined the existence of first order formula in accordance with certain conditions, their proofs in classical model theory are fairly long and hard to tackle.
一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难。
optimization for interpolation theorem of narrow quadrilateral
窄边四边形插值定理的优化
英语网 · 双语新闻
英语网 · 初中英语作文
英语网 · 双语娱乐资讯
英语网 · 英语词汇