Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
* Το πρόβλημα ενοποίησης για την formula_64-ισοδυναμία είναι μη-αποφασίσιμο.
* the unification problem for formula_85-equivalence is undecidable.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade: