DictionaryForumContacts

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