1) completely softened strength
完全软化强度
3) softened strength
软化强度
4) fully enriched automata
完全强化自动机
1.
Based on the satisfiability reasoning algorithm of hybrid graded μ-calculus, the satisfiability reasoning algorithm of description logic μALCQO is presented using fully enriched automata.
基于混合分级μ-演算可满足性推理算法,并利用完全强化自动机给出了μALCQO的可满足性推理算法,以及给出了推理算法正确性证明和复杂性定理。
5) softening of concrete strength
砼强度软化
6) completely metrizable
完全可度量化的
补充资料：表光合强度(见光合强度)
表光合强度(见光合强度)
forecast of sowing or transplanting time
b iaoguanghe qiangdu表光合强度见光合强度
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条