Вхід | Ukrainian | Угода користувача
СловникиФорумКонтакти

   Англійська ⇄ Китайська +
Google | Forvo | +

standard reduction-based proof technique

крипт. 标准的基于规约的证明技术

Додати | Повідомити про помилку | Коротке посилання