Trying to learn how to translate from the human translation examples.
From professional translators, enterprises, web pages and freely available translation repositories.
his early work on combinatory topology has exercised a decisive influence on the development of that subject.
sus primeros trabajos en topología combinatoria ha ejercido una influencia decisiva en el desarrollo de ese tema.
... in recognition of his distinguished contributions to combinatory topology , boolean algebras and mathematical logic.
... en reconocimiento de su distinguida contribución a la topología combinatoria, Álgebras de boole y lógica matemática.
"combinatory logic" is a model of computationequivalent to the lambda calculus, but without abstraction.
la lógica combinatoria es un modelo del cómputo equivalente al "cálculo lambda", pero sin la abstracción.
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.
* c. böhm, "functional programming and combinatory algebras", "mfcs", carlsbad, czechoslovakia, eds m.p.
* c. böhm, "functional programming and combinatory algebras", "mfcs", carlsbad, czecoslovakia, eds m.p.