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

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

automatic theoreme-proving

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