Trying to learn how to translate from the human translation examples.
From professional translators, enterprises, web pages and freely available translation repositories.
in "a decision method for elementary algebra and geometry" liet tarski door middel van de methode van kwantoreneliminatie zien dat de eerste ordetheorie van de reële getallen onder optelling en vermenigvuldiging beslisbaar is.
in "a decision method for elementary algebra and geometry", tarski showed, by the method of quantifier elimination, that the first-order theory of the real numbers under addition and multiplication is decidable.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting