Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
to phrases
система доказательства теоремыstresses
math. theorem-proving system
система доказательства теорем
AI. theorem prover (Microsoft Alex_Odeychuk)
система доказательства теоремы: 8 phrases in 1 subject
Artificial intelligence8

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