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

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

automated theorem prover

наголоси
ПЗ инструмент автоматического доказательства теорем (Alex_Odeychuk)
шт.інтел. система автоматического доказательства теорем (Microsoft Alex_Odeychuk)

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