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

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

доказыватель теорем

наголоси
мат. proving system (mistral.ai Alex_Odeychuk)
шт.інтел. proof assistant (mistral.ai Alex_Odeychuk); theorem prover (Alex_Odeychuk)

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