Via de voorbeelden van menselijke vertaling trachten te leren vertalen.
Van professionele vertalers, bedrijven, webpagina's en gratis beschikbare vertaalbronnen.
* Το πρόβλημα ενοποίησης για την formula_64-ισοδυναμία είναι μη-αποφασίσιμο.
* the unification problem for formula_85-equivalence is undecidable.
Laatste Update: 2016-03-03
Gebruiksfrequentie: 1
Kwaliteit: