双语例句
用作名词(n.)
- We can use it for quick formulae display.
可以使用它来实现公式的快速显示。 - It will be useful to summarize the relevant Gaussian formulae.
有必要概括地讲一下有关的高斯公式。 - Some people appreciate theory and formulae, while some people appreciate practice and skills.
有些人重视理论和规则,但有些人重视实践和技巧。 - Gentzen-style calculi can be modified by removing the weakening rules that allow for the introduction of arbitrary formulae on the right or left side of the sequents.
根岑式的演算可以为此做出修改,就是除去允许在相继式右手端的介入任意公式的弱化规则。
权威例句
The formulae-as-types notion of constructionThe formulae-as-types notion of constructionThe formulae-as-type notion of construction, 1969Handbook of Brownian Motion - Facts and FormulaeHandbook of Brownian Motion — Facts and FormulaeErratum to: Asymptotic formulae for likelihood-based tests of new physicsCryptographic limitations on learning Boolean formulae and finite automataColor Science: Concepts and Method, Quantitative Data and formulaeState-space formulae for all stabilizing controllers that satisfy an H ∞ -norm bound and relations to relations to risk sensitivityLinear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae.