SłownikiForumKontakt

   Angielski Rosyjski +
Google | Forvo | +

proof-system language

akcenty
badan., progr. язык системы автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)