Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
to phrases
интерактивное доказательство теоремstresses
AI. interactive theorem proving (Alex_Odeychuk); ITP (сокр. от "interactive theorem proving" Alex_Odeychuk)
интерактивное доказательство теорем: 2 phrases in 1 subject
Artificial intelligence2

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