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

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

high-performance theorem prover

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