“reduction rule”的概念、定义、翻译、参考文献-科学参考

单词	reduction rule
释义	reduction rule [ri`dǝk·shǝn ´rül] ^{COMPUTER SCIENCE} The principal computation rule in the lambda calculus; it states that an operator-operand combination of the form (λxMA ) may be transformed into the expression S^x_AM, obtained by substituting the lambda expression A for all instances of x in M, provided there are no conflicts of variable names. Also known as beta rule.
随便看	thermodynamic system thermodynamic temperature scale thermodynamic variable thermoelasticity thermoelectric converter thermoelectric cooler thermoelectric cooling thermoelectric diffusion potential thermoelectric effect thermoelectric engine thermoelectric generator thermoelectric heating thermoelectricity thermoelectric junction thermoelectric laws thermoelectric material thermoelectric nuclear battery thermoelectric power generator thermoelectric properties thermoelectric pyrometer thermoelectric refrigeration thermoelectric series thermoelectric solar cell thermoelectric thermometer thermoelectromotive force

科学参考收录了103327条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。