Versucht aus den Beispielen menschlicher Übersetzungen das Übersetzen zu lernen.
von: Maschinelle Übersetzung
Bessere Übersetzung vorschlagen
Qualität:
Von professionellen Übersetzern, Unternehmen, Websites und kostenlos verfügbaren Übersetzungsdatenbanken.
n.b: constructive = intuitionistic.
n.b: constructive = intuitionistic.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
varieties of constructive mathematics, oxford, 1987.
"varieties of constructive mathematics", oxford, 1987.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
Warnung: Enthält unsichtbare HTML-Formatierung
"differential and integral: a constructive introduction to classical analysis.
he developed constructive logic, constructive type theory and constructive analysis.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
Warnung: Enthält unsichtbare HTML-Formatierung
É não exercício da definição do conflito, mas atividade da relação constructive.
it is not exercise of resolution of conflict, but activity of constructive relation.
Letzte Aktualisierung: 2018-02-13
Nutzungshäufigkeit: 1
Qualität:
the most constructive course is to stand on the sidelines and jeer at its pretensions.
the most constructive course is to stand on the sidelines and jeer at its pretensions.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
*feferman, solomon (1979) constructive theories of functions and classes.
*feferman, solomon (1979) constructive theories of functions and classes.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
* detlovs and podnieks, k., "constructive propositional logic — kripke semantics.
* detlovs and podnieks, k., "constructive propositional logic — kripke semantics.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
Warnung: Enthält unsichtbare HTML-Formatierung
==referências====ligações externas==* constructive mathematics (stanford encyclopedia of philosophy)
== see also ==* church's thesis (constructive mathematics)== references ==== external links ==* constructive mathematics (stanford encyclopedia of philosophy)
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
there is a broad line between constructive and destructive criticism and unfortunately, your remarks are not helping our image at all.
there is a broad line between constructive and destructive criticism and unfortunately, your remarks are not helping our image at all.
Letzte Aktualisierung: 2016-02-24
Nutzungshäufigkeit: 1
Qualität:
* michael j. beeson, "foundations of constructive mathematics: metamathematical studies", 1985.
* michael j. beeson, "foundations of constructive mathematics: metamathematical studies", 1985.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
Warnung: Enthält unsichtbare HTML-Formatierung
nós convidamos a reação às idéias que estão sendo apresentados, criticisms e sugestões constructive, ou, no fato, toda a resposta pensativa.
we invite reaction to the ideas being presented, constructive criticisms and suggestions, or, in fact, any thoughtful response.
Letzte Aktualisierung: 2018-02-13
Nutzungshäufigkeit: 1
Qualität:
such speculations were automatically premature and could not lead to anything constructive without an intermediate link which demanded the extension of 3-dimensional geometry to the inclusion of time.
such speculations were automatically premature and could not lead to anything constructive without an intermediate link which demanded the extension of 3-dimensional geometry to the inclusion of time.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
* errett bishop and douglas bridges, constructive analysis, springer, 1985, isbn 0387150668* douglas bridges and fred richman.
*errett bishop and douglas bridges, "constructive analysis", springer, 1985, isbn 0-387-15066-8*douglas bridges and fred richman.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
Warnung: Enthält unsichtbare HTML-Formatierung
geometria sólida construtiva (ou constructive solid geometry, csg, em inglês) é uma das técnica para modelagem de sólidos por meio de operações boolianas.
constructive solid geometry (csg) (formerly called computational binary solid geometry) is a technique used in solid modeling.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
se você sentir os povos estão sendo críticos sobre seu web site, você deve fazer exame de tais comentários como o criticism constructive, não como ataques pessoais, e certamente você não deve ter reagido a maneira que você.
if you feel people are being critical about your web site, you should take such comments as constructive criticism, not as personal attacks, and certainly you should not have reacted the way you did. 如果你觉得你对人挑剔网站,你应该采取建设性的批评意见,不是人身攻击,当然你不要这样你所反应.
Letzte Aktualisierung: 2018-02-13
Nutzungshäufigkeit: 1
Qualität:
errett bishop, em seu trabalho "foundations of constructive analysis" em 1967, se dedicou a dissipar esses medos através do desenvolvimento de uma grande quantidade de análises tradicionais em um enquadramento contrutivista.
errett bishop, in his 1967 work "foundations of constructive analysis", worked to dispel these fears by developing a great deal of traditional analysis in a constructive framework.
Letzte Aktualisierung: 2016-03-03
Nutzungshäufigkeit: 1
Qualität:
Warnung: Enthält unsichtbare HTML-Formatierung
fizeram-no porque pensaram que, através do que eles designam por constructive engagement, que é a tradução asiática do que nós, em inglês, entendemos por « diálogo crítico », a birmânia teria de demonstrar que este diálogo fora efectivamente reforçado.
they accepted that country in the belief that by means of what they call " constructive engagement'-which turns out to be the english version of the asian translation of " critical dialogue'-they would demonstrate that dialogue really has been strengthened.
Letzte Aktualisierung: 2008-03-04
Nutzungshäufigkeit: 1
Qualität:
Warnung: Enthält unsichtbare HTML-Formatierung