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

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

proof-system language

наголоси
наук.-досл., прогр. язык системы автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)