Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄ Russian
Google | Forvo | +
to phrases
automated theorem provingstresses
AI. автоматическое доказательство теорем (Alex_Odeychuk)
automated theorem proving: 3 phrases in 1 subject
Artificial intelligence3

Add | Report an error | Get short URL | Language Selection Tips