Apprendre à traduire à partir d'exemples de traductions humaines.
Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
* Το πρόβλημα ενοποίησης για την formula_64-ισοδυναμία είναι μη-αποφασίσιμο.
* the unification problem for formula_85-equivalence is undecidable.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :