来自专业的译者、企业、网页和免费的翻译库。
presently, there is the fear that individual air pollutants, although damaging, are not as worrying as a combinatory effect of air pollutants.
actualmente, existe el temor de que los agentes contaminantes individuales, aunque dañinos, no sean tan preocupantes como lo es su efecto combinado.
he achieved this by giving a totally new definition of combinatory equivalence based on three elementary moves, rather than on the notion of subdivision which had previously been used.
logró esta dando una nueva definición de equivalencia combinatoria elemental sobre la base de tres movimientos, en lugar de en el concepto de la subdivisión que anteriormente había sido utilizado.
== combinatory calculi ==since abstraction is the only way to manufacture functions in thelambda calculus, something must replace it in the combinatorycalculus.
== cálculos combinatorios ==puesto que la abstracción es la única manera de fabricar funciones en el cálculo lambda, algo debe sustituirlo en el cálculo combinatorio.
the note box yields combinatory possibilities under certain conditions that had not been planned, never thought up in this form in advance, never even conceptualized.”
el fichero ofrece, por motivos precedentes, posibilidades combinatorias que nunca antes habían sido previstas, pretendidas o planeadas de este modo. ”
at a time when the study of manifolds was based on a number of different combinatory concepts, he established a simple combinatory system of simplicial complexes with an equivalence relation based on elementary moves. ...
en un momento en que el estudio de los colectores se basó en una serie de conceptos combinatorio, se estableció un simple sistema combinatorio de simplicial complejos con una relación de equivalencia sobre la base de movimientos elementales. ...
gab manages data exchange in a totally transparent manner between the visual module for creation of the video page based on java technology and the openpcs module for management of combinatory logic based on the international standard iec61131-3.
gab gestiona el intercambio de información de manera totalmente transparente para el usuario entre el módulo de creación de las páginas vídeo visual, preparadas con tecnología java, y el módulo de gestión de la lógica combinatoria openpcs, que se basa en el estándar internacional iec61131-3.