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

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

automatic theorem proving

тех. 机械证明定理
IT 自动定理证明

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