Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
* Το πρόβλημα ενοποίησης για την formula_64-ισοδυναμία είναι μη-αποφασίσιμο.
* the unification problem for formula_85-equivalence is undecidable.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество: