СловникиФорумКонтакти

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

automated theorem proving system

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